# HG changeset patch
# User wenzelm
# Date 917023666 -3600
# Node ID 71974ec3ebfbdc38d4affff28748fa36c55fe343
# Parent  372919b37b5d2a1c2d76ccdc1c86d5d9e5ccaa82
tuned;

diff -r 372919b37b5d -r 71974ec3ebfb Admin/page/index.html
--- a/Admin/page/index.html	Fri Jan 22 17:41:13 1999 +0100
+++ b/Admin/page/index.html	Fri Jan 22 17:47:46 1999 +0100
@@ -21,11 +21,12 @@
 
 <a
 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
-src="cambridge.gif" width=145 border=0 align=right alt="[Cambridge
-logo]"></a> <a href="http://isabelle.in.tum.de/munich.html"><img
-src="munich.gif" width=48 border=0 align=right alt="[Munich
-logo]"></a> This page provides general information on Isabelle, more
-specific information is available from the local pages
+src="cambridge.gif" width=145 border=0 align=right
+alt="[Cambridge logo]"></a> <a
+href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
+width=48 border=0 align=right alt="[Munich logo]"></a> This page
+provides general information on Isabelle, more specific information is
+available from the local pages
 
 <ul>
 
@@ -37,6 +38,7 @@
 at Munich</strong></a>
 
 </ul>
+
 See there for information on projects done with Isabelle, mailing list
 archives, research papers, the Isabelle bibliography, and Isabelle
 workshops and courses.