# HG changeset patch
# User kleing
# Date 1018952613 -7200
# Node ID 879ac452101eb050ba6f93c92541b4c2f531b88c
# Parent  3bd1df57ee00daa3299d0aac8645bc57c0b7549a
inserted tutorial

diff -r 3bd1df57ee00 -r 879ac452101e Admin/page/main-content/docs.content
--- a/Admin/page/main-content/docs.content	Tue Apr 16 09:43:18 2002 +0200
+++ b/Admin/page/main-content/docs.content	Tue Apr 16 12:23:33 2002 +0200
@@ -5,6 +5,10 @@
 
 <!-- _GP_ distname --> documentation is included here as browsable PDF
 for convenience.  These documents are also part of the standard
-Isabelle <a href="dist/index.html">distribution</a>.
+Isabelle <a href="dist/index.html">distribution</a>.  For getting
+started with Isabelle quickly, we recommend the 
+<a href="dist/<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> --
+published by Springer Verlag as <a
+href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>.
 
 <!-- _GP_ include("$pwd/docu-contents.main") -->
diff -r 3bd1df57ee00 -r 879ac452101e Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Tue Apr 16 09:43:18 2002 +0200
+++ b/Admin/page/main-content/index.content	Tue Apr 16 12:23:33 2002 +0200
@@ -23,7 +23,7 @@
 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle
 at Cambridge</strong></a>
 
-<li><a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle
+<li><a href="http://www4.in.tum.de/proj/theoremprov/group.html"><strong>Isabelle
 at Munich</strong></a>
 
 </ul>
@@ -34,6 +34,15 @@
 
 <p>
 
+<h2>Out now</h2>
+
+The 
+<a href="dist/<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> --
+published by Springer Verlag as <a
+href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>.
+
+<p>
+
 <h2>Obtaining Isabelle</h2>
 
 The <strong><!-- _GP_ distname --></strong> distribution is available