diff -r c9765800a4fa -r a1063ed4aa29 Admin/index.html --- a/Admin/index.html Thu Dec 09 13:35:01 1999 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,97 +0,0 @@ - - - - - - -Isabelle Distribution Area - - - - -

Distribution Area

- -

- - -

Mirror sites (alphabetical order)

- -

Cambridge -(UK) - -
Munich (Germany) - -
New -Jersey (USA) - -

- -

- - -

Isabelle releases

- -

{ISABELLE}: -
- README -
- main archive ({PACKED_SIZE}K) -including all documentation in dvi format -
- documentation in pdf format -({PACKED_SIZE_PDF}K) -
- all files unpacked ({UNPACKED_SIZE}K) - -
- -
Isabelle documentation: -
- -
- -
Binary distribution of {ISABELLE} for -rpm-based Linux/x86 systems - -
- -
Past releases (from Cambridge): Isabelle98-1 -| Isabelle98 -| Isabelle94-8 -| Isabelle94-7 -| Isabelle94-6 -| Isabelle94 -| Isabelle93 - -

- -

- -{AUTHOR} {DATE} - - - -