/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2013-03-22 10:41 +0100 1954 browser
-rwxr-xr-x 2013-03-22 10:41 +0100 3446 build
-rwxr-xr-x 2013-03-22 10:41 +0100 1282 build_dialog
-rwxr-xr-x 2013-03-22 10:41 +0100 3462 components
-rwxr-xr-x 2013-03-22 10:41 +0100 1255 dimacs2hol
-rwxr-xr-x 2013-03-22 10:41 +0100 1161 display
-rwxr-xr-x 2013-03-22 10:41 +0100 988 doc
-rwxr-xr-x 2013-03-22 10:41 +0100 3008 document
-rwxr-xr-x 2013-03-22 10:41 +0100 491 emacs
-rwxr-xr-x 2013-03-22 10:41 +0100 407 env
-rwxr-xr-x 2013-03-22 10:41 +0100 712 findlogics
-rwxr-xr-x 2013-03-22 10:41 +0100 1251 getenv
-rwxr-xr-x 2013-03-22 10:41 +0100 1258 install
-rwxr-xr-x 2013-03-22 10:41 +0100 278 java
-rwxr-xr-x 2013-03-22 10:41 +0100 1056 keywords
-rwxr-xr-x 2013-03-22 10:41 +0100 2775 latex
-rwxr-xr-x 2013-03-22 10:41 +0100 1387 logo
-rwxr-xr-x 2013-03-22 10:41 +0100 416 make
-rwxr-xr-x 2013-03-22 10:41 +0100 5679 mkdir
-rwxr-xr-x 2013-03-22 10:41 +0100 412 mkproject
-rwxr-xr-x 2013-03-22 10:41 +0100 3392 mkroot
-rwxr-xr-x 2013-03-22 10:41 +0100 1202 options
-rwxr-xr-x 2013-03-22 10:41 +0100 729 print
-rwxr-xr-x 2013-03-22 10:41 +0100 363 scala
-rwxr-xr-x 2013-03-22 10:41 +0100 374 scalac
-rwxr-xr-x 2013-03-22 10:41 +0100 1270 tty
-rwxr-xr-x 2013-03-22 10:41 +0100 760 unsymbolize
-rwxr-xr-x 2013-03-22 10:41 +0100 6434 usedir
-rwxr-xr-x 2013-03-22 10:41 +0100 940 version
-rwxr-xr-x 2013-03-22 10:41 +0100 390 yxml