/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2017-10-30 16:02 +0000 1968 browser
-rwxr-xr-x 2017-10-30 16:02 +0000 3599 components
-rwxr-xr-x 2017-10-30 16:02 +0000 501 console
-rwxr-xr-x 2017-10-30 16:02 +0000 625 display
-rwxr-xr-x 2017-10-30 16:02 +0000 2739 document
-rwxr-xr-x 2017-10-30 16:02 +0000 407 env
-rwxr-xr-x 2017-10-30 16:02 +0000 1308 getenv
-rwxr-xr-x 2017-10-30 16:02 +0000 1276 install
-rwxr-xr-x 2017-10-30 16:02 +0000 325 java
-rwxr-xr-x 2017-10-30 16:02 +0000 2363 latex
-rwxr-xr-x 2017-10-30 16:02 +0000 1387 logo
-rwxr-xr-x 2017-10-30 16:02 +0000 3409 mkroot
-rwxr-xr-x 2017-10-30 16:02 +0000 409 scala
-rwxr-xr-x 2017-10-30 16:02 +0000 257 scalac
-rwxr-xr-x 2017-10-30 16:02 +0000 940 version