/Admin/
drwxr-xr-x [up]
drwxr-xr-x Benchmarks
drwxr-xr-x Isabelle2005-polyml-5.0
drwxr-xr-x isatest
-rw-r--r-- 2007-04-04 18:05 +0200 926 CHECKLIST
-rw-r--r-- 2007-04-04 18:05 +0200 137 README
-rw-r--r-- 2007-04-04 18:05 +0200 2059 README.repos
-rwxr-xr-x 2007-04-04 18:05 +0200 2652 isasync
-rwxr-xr-x 2007-04-04 18:05 +0200 607 linktest
-rwxr-xr-x 2007-04-04 18:05 +0200 882 make_everything
-rwxr-xr-x 2007-04-04 18:05 +0200 3338 makebin
-rwxr-xr-x 2007-04-04 18:05 +0200 5707 makedist
-rwxr-xr-x 2007-04-04 18:05 +0200 839 maketags
-rwxr-xr-x 2007-04-04 18:05 +0200 418 mirror-website
-rwxr-xr-x 2007-04-04 18:05 +0200 578 profiling_report
-rwxr-xr-x 2007-04-04 18:05 +0200 211 psbooklet
-rwxr-xr-x 2007-04-04 18:05 +0200 130 rsyncd
-rw-r--r-- 2007-04-04 18:05 +0200 423 rsyncd.conf
-rwxr-xr-x 2007-04-04 18:05 +0200 270 update-keywords