/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2010-02-02 09:48 +0000 1806 browser
-rwxr-xr-x 2010-02-02 09:48 +0000 1255 dimacs2hol
-rwxr-xr-x 2010-02-02 09:48 +0000 1148 display
-rwxr-xr-x 2010-02-02 09:48 +0000 988 doc
-rwxr-xr-x 2010-02-02 09:48 +0000 2801 document
-rwxr-xr-x 2010-02-02 09:48 +0000 491 emacs
-rwxr-xr-x 2010-02-02 09:48 +0000 407 env
-rwxr-xr-x 2010-02-02 09:48 +0000 712 findlogics
-rwxr-xr-x 2010-02-02 09:48 +0000 1212 getenv
-rwxr-xr-x 2010-02-02 09:48 +0000 1415 install
-rwxr-xr-x 2010-02-02 09:48 +0000 166 java
-rwxr-xr-x 2010-02-02 09:48 +0000 1069 keywords
-rwxr-xr-x 2010-02-02 09:48 +0000 2794 latex
-rwxr-xr-x 2010-02-02 09:48 +0000 1227 logo
-rwxr-xr-x 2010-02-02 09:48 +0000 416 make
-rwxr-xr-x 2010-02-02 09:48 +0000 918 makeall
-rwxr-xr-x 2010-02-02 09:48 +0000 5870 mkdir
-rwxr-xr-x 2010-02-02 09:48 +0000 433 mkfifo
-rwxr-xr-x 2010-02-02 09:48 +0000 412 mkproject
-rwxr-xr-x 2010-02-02 09:48 +0000 729 print
-rwxr-xr-x 2010-02-02 09:48 +0000 439 rmfifo
-rwxr-xr-x 2010-02-02 09:48 +0000 258 scala
-rwxr-xr-x 2010-02-02 09:48 +0000 1280 tty
-rwxr-xr-x 2010-02-02 09:48 +0000 771 unsymbolize
-rwxr-xr-x 2010-02-02 09:48 +0000 6113 usedir
-rwxr-xr-x 2010-02-02 09:48 +0000 174 version
-rwxr-xr-x 2010-02-02 09:48 +0000 401 yxml