/lib/scripts/
drwxr-xr-x [up]
-rw-r--r-- 1997-01-17 12:49 +0100 182 getplatform
-rw-r--r-- 1997-01-17 12:49 +0100 343 getsettings
-rwxr-xr-x 1997-01-17 12:49 +0100 494 isa-emacs
-rwxr-xr-x 1997-01-17 12:49 +0100 887 isa-xterm
-rwxr-xr-x 1997-01-17 12:49 +0100 1445 run-polyml
-rwxr-xr-x 1997-01-17 12:49 +0100 1327 run-smlnj
-rwxr-xr-x 1997-01-17 12:49 +0100 1213 run-smlnj-0.93
-rw-r--r-- 1997-01-17 12:49 +0100 2753 symbolinput.pl
-rwxr-xr-x 1997-01-17 12:49 +0100 278 ucat