/ Isabelle2008
drwxr-xr-x [up]
drwxr-xr-x Admin
drwxr-xr-x bin
drwxr-xr-x doc
drwxr-xr-x doc-src
drwxr-xr-x etc
drwxr-xr-x lib
drwxr-xr-x src
-rw-r--r-- 2008-06-08 14:31 +0200 1115 ANNOUNCE
-rw-r--r-- 2008-06-08 14:31 +0200 5913 CONTRIBUTORS
-rw-r--r-- 2008-06-08 14:31 +0200 1652 COPYRIGHT
-rw-r--r-- 2008-06-08 14:31 +0200 2646 INSTALL
-rw-r--r-- 2008-06-08 14:31 +0200 220538 NEWS
-rw-r--r-- 2008-06-08 14:31 +0200 2826 README
-rwxr-xr-x 2008-06-08 14:31 +0200 3507 build