/Admin/
drwxr-xr-x [up]
drwxr-xr-x Benchmarks
drwxr-xr-x website
-rw-r--r-- 2005-09-27 15:30 +0200 926 CHECKLIST
-rw-r--r-- 2005-09-27 15:30 +0200 137 README
-rw-r--r-- 2005-09-27 15:30 +0200 2059 README.repos
-rwxr-xr-x 2005-09-27 15:30 +0200 2675 isasync
-rwxr-xr-x 2005-09-27 15:30 +0200 1987 isatest-check
-rwxr-xr-x 2005-09-27 15:30 +0200 2276 isatest-doc
-rw-r--r-- 2005-09-27 15:30 +0200 938 isatest-lint
-rwxr-xr-x 2005-09-27 15:30 +0200 2814 isatest-makeall
-rwxr-xr-x 2005-09-27 15:30 +0200 2447 isatest-makedist
-rw-r--r-- 2005-09-27 15:30 +0200 560 isatest-settings
-rwxr-xr-x 2005-09-27 15:30 +0200 882 make_everything
-rwxr-xr-x 2005-09-27 15:30 +0200 3338 makebin
-rwxr-xr-x 2005-09-27 15:30 +0200 5550 makedist
-rwxr-xr-x 2005-09-27 15:30 +0200 839 maketags
-rwxr-xr-x 2005-09-27 15:30 +0200 571 mirror-dist
-rwxr-xr-x 2005-09-27 15:30 +0200 805 mirror-main
-rwxr-xr-x 2005-09-27 15:30 +0200 419 mirror-website
-rwxr-xr-x 2005-09-27 15:30 +0200 1496 pmail
-rwxr-xr-x 2005-09-27 15:30 +0200 578 profiling_report
-rwxr-xr-x 2005-09-27 15:30 +0200 211 psbooklet
-rwxr-xr-x 2005-09-27 15:30 +0200 2522 rsync-isabelle
-rwxr-xr-x 2005-09-27 15:30 +0200 130 rsyncd
-rw-r--r-- 2005-09-27 15:30 +0200 440 rsyncd.conf