/Admin/
drwxr-xr-x [up]
drwxr-xr-x Benchmarks
drwxr-xr-x Isabelle2005-polyml-5.0
-rw-r--r-- 2007-01-04 17:17 +0100 926 CHECKLIST
-rw-r--r-- 2007-01-04 17:17 +0100 137 README
-rw-r--r-- 2007-01-04 17:17 +0100 2059 README.repos
-rwxr-xr-x 2007-01-04 17:17 +0100 2652 isasync
-rwxr-xr-x 2007-01-04 17:17 +0100 2236 isatest-check
-rwxr-xr-x 2007-01-04 17:17 +0100 2276 isatest-doc
-rw-r--r-- 2007-01-04 17:17 +0100 938 isatest-lint
-rwxr-xr-x 2007-01-04 17:17 +0100 2814 isatest-makeall
-rwxr-xr-x 2007-01-04 17:17 +0100 2650 isatest-makedist
-rw-r--r-- 2007-01-04 17:17 +0100 556 isatest-settings
-rwxr-xr-x 2007-01-04 17:17 +0100 1712 isatest-statistics
-rwxr-xr-x 2007-01-04 17:17 +0100 981 isatest-stats
-rwxr-xr-x 2007-01-04 17:17 +0100 607 linktest
-rwxr-xr-x 2007-01-04 17:17 +0100 882 make_everything
-rwxr-xr-x 2007-01-04 17:17 +0100 3338 makebin
-rwxr-xr-x 2007-01-04 17:17 +0100 5707 makedist
-rwxr-xr-x 2007-01-04 17:17 +0100 839 maketags
-rwxr-xr-x 2007-01-04 17:17 +0100 418 mirror-website
-rwxr-xr-x 2007-01-04 17:17 +0100 1496 pmail
-rwxr-xr-x 2007-01-04 17:17 +0100 578 profiling_report
-rwxr-xr-x 2007-01-04 17:17 +0100 211 psbooklet
-rwxr-xr-x 2007-01-04 17:17 +0100 130 rsyncd
-rw-r--r-- 2007-01-04 17:17 +0100 423 rsyncd.conf
-rwxr-xr-x 2007-01-04 17:17 +0100 270 update-keywords