/Admin/
drwxr-xr-x [up]
drwxr-xr-x Benchmarks
drwxr-xr-x page
drwxr-xr-x polyml
-rw-r--r-- 2004-12-14 10:45 +0100 591 BUGS
-rw-r--r-- 2004-12-14 10:45 +0100 674 CHECKLIST
-rw-r--r-- 2004-12-14 10:45 +0100 251 MIRRORS
-rw-r--r-- 2004-12-14 10:45 +0100 137 README
-rw-r--r-- 2004-12-14 10:45 +0100 2059 README.repos
-rwxr-xr-x 2004-12-14 10:45 +0100 1332 cvs-copy
-rwxr-xr-x 2004-12-14 10:45 +0100 2267 isatest-check
-rwxr-xr-x 2004-12-14 10:45 +0100 2905 isatest-makeall
-rwxr-xr-x 2004-12-14 10:45 +0100 2692 isatest-makedist
-rwxr-xr-x 2004-12-14 10:45 +0100 875 make_everything
-rwxr-xr-x 2004-12-14 10:45 +0100 3406 makebin
-rwxr-xr-x 2004-12-14 10:45 +0100 5958 makedist
-rwxr-xr-x 2004-12-14 10:45 +0100 839 maketags
-rwxr-xr-x 2004-12-14 10:45 +0100 571 mirror-dist
-rwxr-xr-x 2004-12-14 10:45 +0100 669 mirror-main
-rwxr-xr-x 2004-12-14 10:45 +0100 1496 pmail
-rwxr-xr-x 2004-12-14 10:45 +0100 211 psbooklet
-rwxr-xr-x 2004-12-14 10:45 +0100 262 reallymakeall
-rwxr-xr-x 2004-12-14 10:45 +0100 2522 rsync-isabelle
-rwxr-xr-x 2004-12-14 10:45 +0100 130 rsyncd
-rw-r--r-- 2004-12-14 10:45 +0100 246 rsyncd.conf