# HG changeset patch
# User kleing
# Date 1018952629 -7200
# Node ID 56b21879c603cec76379ae3a502a984b21cbc46d
# Parent  879ac452101eb050ba6f93c92541b4c2f531b88c
new link to munich group

diff -r 879ac452101e -r 56b21879c603 Admin/page/main-layout/template.html
--- a/Admin/page/main-layout/template.html	Tue Apr 16 12:23:33 2002 +0200
+++ b/Admin/page/main-layout/template.html	Tue Apr 16 12:23:49 2002 +0200
@@ -28,7 +28,7 @@
                   </b>
                 </td>
 		<td width="40%" valign="middle" align="center" nowrap>
-		  <a href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
+		  <a href="http://www4.in.tum.de/proj/theoremprov/group.html"><img src="munich.gif"
 		      border=0 width="48" height="59" alt="[Munich logo]"></a>
 		   
 		  <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img