/Admin/
drwxr-xr-x [up]
drwxr-xr-x Benchmarks
drwxr-xr-x E
drwxr-xr-x MacOS
drwxr-xr-x Mercurial
drwxr-xr-x ProofGeneral
drwxr-xr-x isatest
drwxr-xr-x launch4j
drwxr-xr-x polyml
drwxr-xr-x spass
-rw-r--r-- 2010-03-02 12:59 +0000 654 CHECKLIST
-rw-r--r-- 2010-03-02 12:59 +0000 138 README
-rwxr-xr-x 2010-03-02 12:59 +0000 1719 build
-rwxr-xr-x 2010-03-02 12:59 +0000 743 check_ml_headers
-rwxr-xr-x 2010-03-02 12:59 +0000 121 churn
-rwxr-xr-x 2010-03-02 12:59 +0000 2656 isasync
-rwxr-xr-x 2010-03-02 12:59 +0000 607 linktest
-rwxr-xr-x 2010-03-02 12:59 +0000 2930 makebin
-rwxr-xr-x 2010-03-02 12:59 +0000 1396 makebundle
-rwxr-xr-x 2010-03-02 12:59 +0000 4669 makedist
-rwxr-xr-x 2010-03-02 12:59 +0000 379 mirror-website
-rwxr-xr-x 2010-03-02 12:59 +0000 578 profiling_report
-rwxr-xr-x 2010-03-02 12:59 +0000 333 profiling_reports
-rwxr-xr-x 2010-03-02 12:59 +0000 211 psbooklet
-rwxr-xr-x 2010-03-02 12:59 +0000 128 rsyncd
-rw-r--r-- 2010-03-02 12:59 +0000 423 rsyncd.conf
-rwxr-xr-x 2010-03-02 12:59 +0000 543 update-keywords
-rw-r--r-- 2010-03-02 12:59 +0000 252 user-aliases