/Admin/lib/Tools/ Isabelle2013-2
drwxr-xr-x [up]
-rwxr-xr-x 2013-12-04 18:59 +0100 1759 build_doc
-rwxr-xr-x 2013-12-04 18:59 +0100 1432 components_checksum
-rwxr-xr-x 2013-12-04 18:59 +0100 5049 makedist
-rwxr-xr-x 2013-12-04 18:59 +0100 9830 makedist_bundle
-rwxr-xr-x 2013-12-04 18:59 +0100 1419 makedist_cygwin
-rwxr-xr-x 2013-12-04 18:59 +0100 347 update_keywords