/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2016-09-15 11:48 +0200 1968 browser
-rwxr-xr-x 2016-09-15 11:48 +0200 3599 components
-rwxr-xr-x 2016-09-15 11:48 +0200 713 console
-rwxr-xr-x 2016-09-15 11:48 +0200 625 display
-rwxr-xr-x 2016-09-15 11:48 +0200 2739 document
-rwxr-xr-x 2016-09-15 11:48 +0200 407 env
-rwxr-xr-x 2016-09-15 11:48 +0200 1308 getenv
-rwxr-xr-x 2016-09-15 11:48 +0200 1263 install
-rwxr-xr-x 2016-09-15 11:48 +0200 337 java
-rwxr-xr-x 2016-09-15 11:48 +0200 2363 latex
-rwxr-xr-x 2016-09-15 11:48 +0200 1387 logo
-rwxr-xr-x 2016-09-15 11:48 +0200 3409 mkroot
-rwxr-xr-x 2016-09-15 11:48 +0200 420 scala
-rwxr-xr-x 2016-09-15 11:48 +0200 257 scalac
-rwxr-xr-x 2016-09-15 11:48 +0200 940 version