/lib/scripts/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2021-09-23 11:30 +0200 6439 getfunctions
-rwxr-xr-x 2021-09-23 11:30 +0200 3137 getsettings
-rwxr-xr-x 2021-09-23 11:30 +0200 259 ghc
-rw-r--r-- 2021-09-23 11:30 +0200 1185 isabelle-platform
-rwxr-xr-x 2021-09-23 11:30 +0200 464 java-gui-setup
-rwxr-xr-x 2021-09-23 11:30 +0200 326 ocamlfind
-rwxr-xr-x 2021-09-23 11:30 +0200 571 polyml-version