/lib/scripts/
drwxr-xr-x [up]
-rw-r--r-- 2009-02-16 21:23 +0100 2735 dimacs2hol.pl
-rwxr-xr-x 2009-02-16 21:23 +0100 1013 feeder
-rw-r--r-- 2009-02-16 21:23 +0100 450 feeder.pl
-rwxr-xr-x 2009-02-16 21:23 +0100 231 fileident
-rw-r--r-- 2009-02-16 21:23 +0100 2073 getsettings
-rw-r--r-- 2009-02-16 21:23 +0100 5099 keywords.pl
-rwxr-xr-x 2009-02-16 21:23 +0100 1203 polyml-platform
-rwxr-xr-x 2009-02-16 21:23 +0100 545 polyml-version
-rwxr-xr-x 2009-02-16 21:23 +0100 1234 run-mosml
-rwxr-xr-x 2009-02-16 21:23 +0100 2158 run-polyml
-rwxr-xr-x 2009-02-16 21:23 +0100 2357 run-polyml-4.1.3
-rwxr-xr-x 2009-02-16 21:23 +0100 2357 run-polyml-4.1.4
-rwxr-xr-x 2009-02-16 21:23 +0100 2357 run-polyml-4.2.0
-rwxr-xr-x 2009-02-16 21:23 +0100 2224 run-polyml-5.0
-rwxr-xr-x 2009-02-16 21:23 +0100 1824 run-smlnj
-rw-r--r-- 2009-02-16 21:23 +0100 472 system.pl
-rw-r--r-- 2009-02-16 21:23 +0100 413 timestart.bash
-rw-r--r-- 2009-02-16 21:23 +0100 1368 timestop.bash
-rw-r--r-- 2009-02-16 21:23 +0100 1394 unsymbolize.pl
-rw-r--r-- 2009-02-16 21:23 +0100 539 yxml.pl