# HG changeset patch
# User kleing
# Date 972652309 -7200
# Node ID 487acfd5f2d2b4f4ce3cad116a6be11718bc684c
# Parent  bb0b65380516806b2e40648e465bca0e6918222a
removed isabelle resources: are available from main pages

diff -r bb0b65380516 -r 487acfd5f2d2 Admin/page/main-content/munich.content
--- a/Admin/page/main-content/munich.content	Fri Oct 27 12:44:50 2000 +0200
+++ b/Admin/page/main-content/munich.content	Fri Oct 27 15:11:49 2000 +0200
@@ -62,14 +62,3 @@
 Studenten</a> (in German) for more information.
 
 
-<h2>Isabelle resources</h2>
-
-<ul>
-
-<li> Isabelle <a href="dist/index.html">distribution area</a>
-
-<li> Isabelle online theory library: <a
-href="library-Isabelle99/index.html">Isabelle99</a>, <a
-href="library-Isabelle98-1/index.html">Isabelle98-1</a>
-
-</ul>