/Admin/
drwxr-xr-x [up]
drwxr-xr-x Benchmarks
drwxr-xr-x page
drwxr-xr-x polyml
drwxr-xr-x xsymbol
-rw-r--r-- 2002-09-03 13:41 +0200 591 BUGS
-rw-r--r-- 2002-09-03 13:41 +0200 674 CHECKLIST
-rw-r--r-- 2002-09-03 13:41 +0200 251 MIRRORS
-rw-r--r-- 2002-09-03 13:41 +0200 137 README
-rwxr-xr-x 2002-09-03 13:41 +0200 1332 cvs-copy
-rwxr-xr-x 2002-09-03 13:41 +0200 2359 isatest-makeall
-rwxr-xr-x 2002-09-03 13:41 +0200 2350 isatest-makedist
-rwxr-xr-x 2002-09-03 13:41 +0200 875 make_everything
-rwxr-xr-x 2002-09-03 13:41 +0200 2901 makebin
-rwxr-xr-x 2002-09-03 13:41 +0200 5882 makedist
-rwxr-xr-x 2002-09-03 13:41 +0200 839 maketags
-rwxr-xr-x 2002-09-03 13:41 +0200 343 mirror-dist
-rwxr-xr-x 2002-09-03 13:41 +0200 443 mirror-main
-rwxr-xr-x 2002-09-03 13:41 +0200 759 pmail
-rwxr-xr-x 2002-09-03 13:41 +0200 211 psbooklet
-rwxr-xr-x 2002-09-03 13:41 +0200 262 reallymakeall
-rwxr-xr-x 2002-09-03 13:41 +0200 2522 rsync-isabelle
-rwxr-xr-x 2002-09-03 13:41 +0200 130 rsyncd
-rw-r--r-- 2002-09-03 13:41 +0200 246 rsyncd.conf