/Admin/lib/Tools/ Isabelle2017
drwxr-xr-x [up]
-rwxr-xr-x 2017-10-04 12:00 +0200 248 churn
-rwxr-xr-x 2017-10-04 12:00 +0200 301 churn_pie
-rwxr-xr-x 2017-10-04 12:00 +0200 1432 components_checksum
-rwxr-xr-x 2017-10-04 12:00 +0200 5788 makedist
-rwxr-xr-x 2017-10-04 12:00 +0200 13623 makedist_bundle