/usr/local/man/man1/smv.1.gz
/usr/local/bin/smv
/usr/local/share/smv/smv-mode.el
/usr/local/share/doc/smv/NEW
/usr/local/share/doc/smv/README
/usr/local/share/doc/smv/smvmanual.ps
/usr/local/share/examples/smv/counter.smv
/usr/local/share/examples/smv/dme1.smv
/usr/local/share/examples/smv/dme2.smv
/usr/local/share/examples/smv/featuring.smv
/usr/local/share/examples/smv/gigamax.smv
/usr/local/share/examples/smv/mutex.smv
/usr/local/share/examples/smv/mutex1.smv
/usr/local/share/examples/smv/periodic.smv
/usr/local/share/examples/smv/ring.smv
/usr/local/share/examples/smv/semaphore.smv
/usr/local/share/examples/smv/short.smv
/usr/local/share/examples/smv/syncarb5.smv