diff -r 24fcf5ecae88 -r 36ef28482123 Admin/index.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/index.html Thu Jan 08 18:28:03 1998 +0100 @@ -0,0 +1,75 @@ + + + + + + +Isabelle Distribution Area + + + + +

Distribution Area

+ +

Mirror sites

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

+ +

Isabelle releases

+ +

Isabelle_07-Jan-1998 + - sneak preview of the forthcoming +Isabelle98 release: README, archive (1895K), same unpacked (8019K). + +
Isabelle documentation (as included in the distribution): +
+ +
+ +
Past releases (from Cambridge): Isabelle-94 +revision 8 | Isabelle-94 +revision 7 | Isabelle-94 +revision 6 | Isabelle-94 | +Isabelle-93 + +

+ +

+ + + +