This is a log of WatForm installations in /watform/pkg nusmv-2.1.2-zchaff - installed by nday 17 Dec 2003 - symbolic links for binaries not for libraries smv-10-11-02p46 - installed by nday 17 Dec 2003 - symbolic links for binaries, not for man pages (see smv instructions if you want smv man pages or smv libraries) Acrobat5 - installed by nday 17 Dec 2003 graphviz-1.10 - installed by nday, 16 Dec 2003 - created directory bin and lib - set it to put binaries and libraries in these directories configure --prefix=/watform/pkg/graphviz-1.10 - note: had errors in compilation for lefty ** needs this to run dotty - make clean at the end to remove object files hol-4-kananaskis-1 - installed by nday, 16 Dec 2003 mosml-2.0 - installed by nday, 16 Dec 2003 spin-4.0 - installed by nday, 3 Oct 2003 - binaries copied to /watform/bin Alloy - Watform group watsync - Marc Aagaard Dec 2008 svc-1.11 (in /fsys1/watform/pkg/svc-1.11 folder) svc - An interactive command-based interface to SVC. Includes basic on-line help. check_valid - A command-line interface to SVC. Running this executable without giving any arguments describes the required and optional command-line options. vcpp - A preprocessor for SVC expression files which can significantly reduce the complexity of expressions before processing them using either check_valid or svc. As with check_valid, running the executable without any arguments describes the required and optional arguments. simplesim-3.0 - Marc Aagaard Jan 2004 flexlm - Marc Aagaard, may 2009 accroread-9.1 - Marc Aagaard, may 2009 cvcl-1.1.0 - Marc Aagaard, Nov 2004 cvcl-1.1.0-nad - Nancy Day, Nov 2004 doc: smv documentation doit - Nancy Day, Feb 2007 --------------------- @pedernales.cs[160]% xh-packages -p OracleCalendar-10.1.2 accounts accounts_client bash-3.0 cf-specific config-files cscf-specific cu-sudo-1.6.8p12 db-4.3 debian-1 emacs-21.3 filetools graveyard lockfile man mfcf-basics mfcf-misc nameserver-3 ntp-config-1 os-extras pattern_dev perl-5-vendor perl-cover rsync-2.6 security service-request setpw shelltools tcsh-6.11 termcap termcap_arch termcap_progs watform-1 xhier @pedernales.cs[161]% ls watform-1 bin man