# HG changeset patch # User wenzelm # Date 917023273 -3600 # Node ID 372919b37b5d2a1c2d76ccdc1c86d5d9e5ccaa82 # Parent d97a944c6ea3fb0effd6cec20d760fde4df05ff8 tuned; 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.