/bin/ default tip
drwxr-xr-x [up]
-rwxr-xr-x 2021-09-25 07:45 +0000 1058 isabelle
-rwxr-xr-x 2021-09-25 07:45 +0000 1639 isabelle_java
-rwxr-xr-x 2021-09-25 07:45 +0000 517 isabelle_scala_script