/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2018-03-12 11:17 +0100 1968 browser
-rwxr-xr-x 2018-03-12 11:17 +0100 1153 client
-rwxr-xr-x 2018-03-12 11:17 +0100 3599 components
-rwxr-xr-x 2018-03-12 11:17 +0100 501 console
-rwxr-xr-x 2018-03-12 11:17 +0100 625 display
-rwxr-xr-x 2018-03-12 11:17 +0100 407 env
-rwxr-xr-x 2018-03-12 11:17 +0100 1308 getenv
-rwxr-xr-x 2018-03-12 11:17 +0100 1276 install
-rwxr-xr-x 2018-03-12 11:17 +0100 397 java
-rwxr-xr-x 2018-03-12 11:17 +0100 1932 latex
-rwxr-xr-x 2018-03-12 11:17 +0100 1387 logo
-rwxr-xr-x 2018-03-12 11:17 +0100 481 scala
-rwxr-xr-x 2018-03-12 11:17 +0100 328 scalac
-rwxr-xr-x 2018-03-12 11:17 +0100 2646 update_op
-rwxr-xr-x 2018-03-12 11:17 +0100 940 version