/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2009-06-19 21:08 +0200 1713 browser
-rwxr-xr-x 2009-06-19 21:08 +0200 801 codegen
-rwxr-xr-x 2009-06-19 21:08 +0200 1255 dimacs2hol
-rwxr-xr-x 2009-06-19 21:08 +0200 1148 display
-rwxr-xr-x 2009-06-19 21:08 +0200 1044 doc
-rwxr-xr-x 2009-06-19 21:08 +0200 2738 document
-rwxr-xr-x 2009-06-19 21:08 +0200 405 emacs
-rwxr-xr-x 2009-06-19 21:08 +0200 407 env
-rwxr-xr-x 2009-06-19 21:08 +0200 619 findlogics
-rwxr-xr-x 2009-06-19 21:08 +0200 1212 getenv
-rwxr-xr-x 2009-06-19 21:08 +0200 1415 install
-rwxr-xr-x 2009-06-19 21:08 +0200 166 java
-rwxr-xr-x 2009-06-19 21:08 +0200 373 jedit
-rwxr-xr-x 2009-06-19 21:08 +0200 1199 keywords
-rwxr-xr-x 2009-06-19 21:08 +0200 2794 latex
-rwxr-xr-x 2009-06-19 21:08 +0200 1227 logo
-rwxr-xr-x 2009-06-19 21:08 +0200 416 make
-rwxr-xr-x 2009-06-19 21:08 +0200 843 makeall
-rwxr-xr-x 2009-06-19 21:08 +0200 5812 mkdir
-rwxr-xr-x 2009-06-19 21:08 +0200 433 mkfifo
-rwxr-xr-x 2009-06-19 21:08 +0200 412 mkproject
-rwxr-xr-x 2009-06-19 21:08 +0200 729 print
-rwxr-xr-x 2009-06-19 21:08 +0200 439 rmfifo
-rwxr-xr-x 2009-06-19 21:08 +0200 168 scala
-rwxr-xr-x 2009-06-19 21:08 +0200 1280 tty
-rwxr-xr-x 2009-06-19 21:08 +0200 771 unsymbolize
-rwxr-xr-x 2009-06-19 21:08 +0200 6108 usedir
-rwxr-xr-x 2009-06-19 21:08 +0200 171 version
-rwxr-xr-x 2009-06-19 21:08 +0200 401 yxml