# HG changeset patch
# User wenzelm
# Date 971114749 -7200
# Node ID 149878bae19c6684bfaf25dbf92acf251372c5d5
# Parent  9d5678e6bf343a797dad36c7f1916c05be23df47
fixed hrefs: index.html;

diff -r 9d5678e6bf34 -r 149878bae19c Admin/page/main-content/docs.content
--- a/Admin/page/main-content/docs.content	Mon Oct 09 19:49:58 2000 +0200
+++ b/Admin/page/main-content/docs.content	Mon Oct 09 20:05:49 2000 +0200
@@ -5,6 +5,6 @@
 
 <!-- _GP_ distname --> documentation is included here as browsable PDF
 for convenience.  These documents are also part of the standard
-Isabelle <a href="dist/">distribution</a>.
+Isabelle <a href="dist/index.html">distribution</a>.
 
 <!-- _GP_ include("$pwd/docu-contents.main") -->
diff -r 9d5678e6bf34 -r 149878bae19c Admin/page/main-content/logics.content
--- a/Admin/page/main-content/logics.content	Mon Oct 09 19:49:58 2000 +0200
+++ b/Admin/page/main-content/logics.content	Mon Oct 09 20:05:49 2000 +0200
@@ -13,7 +13,7 @@
 <h2>Isabelle's Logics</h2>
 
 The Isabelle distribution includes a large body of object logics and
-other examples (see the <a href="library/">Isabelle theory
+other examples (see the <a href="library/index.html">Isabelle theory
 library</a>).
 
 <dl>
diff -r 9d5678e6bf34 -r 149878bae19c Admin/page/main-content/munich.content
--- a/Admin/page/main-content/munich.content	Mon Oct 09 19:49:58 2000 +0200
+++ b/Admin/page/main-content/munich.content	Mon Oct 09 20:05:49 2000 +0200
@@ -41,13 +41,13 @@
 
 <ul>
 
-<li> <b><a href="Bali/">Isabelle/Bali</a></b> Java and JVM
+<li> <b><a href="Bali/index.html">Isabelle/Bali</a></b> Java and JVM
 formalization --- type system, semantics, compilers
 
-<li> <b><a href="Isar/">Isabelle/Isar</a></b> Intelligible
+<li> <b><a href="Isar/index.html">Isabelle/Isar</a></b> Intelligible
 semi-automated reasoning --- readable formal proof documents
 
-<li><b><a href="IOA/">Isabelle/IOA</a></b> Verification of
+<li><b><a href="IOA/index.html">Isabelle/IOA</a></b> Verification of
 distributed, reactive systems using I/O Automata
 
 <li> <b>Isabelle/HOOL</b> Object-oriented verification of
@@ -58,20 +58,18 @@
 <p>
 
 <b>Important local information:</b> Students are welcome to
-participate, see <a href="stud/">Isabelle Projekte für Studenten</a>
-(in German) for more information.
+participate, see <a href="stud/index.html">Isabelle Projekte für
+Studenten</a> (in German) for more information.
 
 
 <h2>Isabelle resources</h2>
 
 <ul>
 
-<li> Isabelle <a href="dist/">distribution area</a>
+<li> Isabelle <a href="dist/index.html">distribution area</a>
 
 <li> Isabelle online theory library: <a
-href="library-Isabelle99/">Isabelle99</a>, <a
-href="library-Isabelle98-1/">Isabelle98-1</a>
-
+href="library-Isabelle99/index.html">Isabelle99</a>, <a
+href="library-Isabelle98-1/index.html">Isabelle98-1</a>
 
 </ul>
-