diff -r d97a944c6ea3 -r 372919b37b5d Admin/page/index.html --- a/Admin/page/index.html Wed Jan 20 18:07:34 1999 +0100 +++ b/Admin/page/index.html Fri Jan 22 17:41:13 1999 +0100 @@ -21,15 +21,23 @@ [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 +src="cambridge.gif" width=145 border=0 align=right alt="[Cambridge +logo]"> [Munich
+logo] This page provides general information on Isabelle, more +specific information is available from the local pages + + +See there for information on projects done with Isabelle, mailing list archives, research papers, the Isabelle bibliography, and Isabelle workshops and courses.