/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 1997-12-19 12:09 +0100 350 browser
-rwxr-xr-x 1997-12-19 12:09 +0100 689 doc
-rwxr-xr-x 1997-12-19 12:09 +0100 810 expandshort
-rwxr-xr-x 1997-12-19 12:09 +0100 515 findlogics
-rwxr-xr-x 1997-12-19 12:09 +0100 655 fixclasimp
-rwxr-xr-x 1997-12-19 12:09 +0100 719 fixdots
-rwxr-xr-x 1997-12-19 12:09 +0100 665 fixseq
-rwxr-xr-x 1997-12-19 12:09 +0100 884 getenv
-rwxr-xr-x 1997-12-19 12:09 +0100 655 installfonts
-rwxr-xr-x 1997-12-19 12:09 +0100 362 make
-rwxr-xr-x 1997-12-19 12:09 +0100 618 makeall
-rwxr-xr-x 1997-12-19 12:09 +0100 616 nonascii
-rwxr-xr-x 1997-12-19 12:09 +0100 302 symbolinput
-rwxr-xr-x 1997-12-19 12:09 +0100 3031 usedir