diff -r 345c0fb3e628 -r d97a944c6ea3 Admin/page/index.html --- a/Admin/page/index.html Wed Jan 20 17:59:19 1999 +0100 +++ b/Admin/page/index.html Wed Jan 20 18:07:34 1999 +0100 @@ -7,7 +7,7 @@ -

Isabelle

Isabelle [Isabelle logo]

@@ -23,13 +23,13 @@ href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">[Cambridge] [Munich] -This page provides general information on Isabelle, more details are -available on the local Isabelle pages at [Munich] This page provides +general information on Isabelle, more details are available on the +local Isabelle pages at Cambridge -and Munich. -See there for information on projects done with Isabelle, mailing list +and Munich. See +there for information on projects done with Isabelle, mailing list archives, research papers, the Isabelle bibliography, and Isabelle workshops and courses.