/Admin/isatest/ Isabelle2007
drwxr-xr-x [up]
drwxr-xr-x settings
-rwxr-xr-x 2007-11-22 14:51 +0100 2416 annomaly
-rw-r--r-- 2007-11-22 14:51 +0100 900 annomaly.ML
-rwxr-xr-x 2007-11-22 14:51 +0100 1984 isatest-annomaly
-rwxr-xr-x 2007-11-22 14:51 +0100 2244 isatest-check
-rwxr-xr-x 2007-11-22 14:51 +0100 2268 isatest-doc
-rw-r--r-- 2007-11-22 14:51 +0100 938 isatest-lint
-rwxr-xr-x 2007-11-22 14:51 +0100 3331 isatest-makeall
-rwxr-xr-x 2007-11-22 14:51 +0100 2984 isatest-makedist
-rw-r--r-- 2007-11-22 14:51 +0100 573 isatest-settings
-rwxr-xr-x 2007-11-22 14:51 +0100 2239 isatest-statistics
-rwxr-xr-x 2007-11-22 14:51 +0100 1402 isatest-stats
-rwxr-xr-x 2007-11-22 14:51 +0100 1496 pmail