/bin/
drwxr-xr-x [up]
-rwxr-xr-x 2009-08-10 12:24 +0200 1352 isabelle
-rwxr-xr-x 2009-08-10 12:24 +0200 4840 isabelle-process