/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2012-08-14 15:42 +0200 1944 browser
-rwxr-xr-x 2012-08-14 15:42 +0200 3174 build
-rwxr-xr-x 2012-08-14 15:42 +0200 1255 dimacs2hol
-rwxr-xr-x 2012-08-14 15:42 +0200 1148 display
-rwxr-xr-x 2012-08-14 15:42 +0200 988 doc
-rwxr-xr-x 2012-08-14 15:42 +0200 2991 document
-rwxr-xr-x 2012-08-14 15:42 +0200 491 emacs
-rwxr-xr-x 2012-08-14 15:42 +0200 407 env
-rwxr-xr-x 2012-08-14 15:42 +0200 712 findlogics
-rwxr-xr-x 2012-08-14 15:42 +0200 1251 getenv
-rwxr-xr-x 2012-08-14 15:42 +0200 1415 install
-rwxr-xr-x 2012-08-14 15:42 +0200 362 java
-rwxr-xr-x 2012-08-14 15:42 +0200 1056 keywords
-rwxr-xr-x 2012-08-14 15:42 +0200 2775 latex
-rwxr-xr-x 2012-08-14 15:42 +0200 1227 logo
-rwxr-xr-x 2012-08-14 15:42 +0200 416 make
-rwxr-xr-x 2012-08-14 15:42 +0200 918 makeall
-rwxr-xr-x 2012-08-14 15:42 +0200 5679 mkdir
-rwxr-xr-x 2012-08-14 15:42 +0200 412 mkproject
-rwxr-xr-x 2012-08-14 15:42 +0200 3392 mkroot
-rwxr-xr-x 2012-08-14 15:42 +0200 1029 options
-rwxr-xr-x 2012-08-14 15:42 +0200 729 print
-rwxr-xr-x 2012-08-14 15:42 +0200 348 scala
-rwxr-xr-x 2012-08-14 15:42 +0200 358 scalac
-rwxr-xr-x 2012-08-14 15:42 +0200 1270 tty
-rwxr-xr-x 2012-08-14 15:42 +0200 760 unsymbolize
-rwxr-xr-x 2012-08-14 15:42 +0200 6434 usedir
-rwxr-xr-x 2012-08-14 15:42 +0200 938 version
-rwxr-xr-x 2012-08-14 15:42 +0200 390 yxml