1.1 --- a/Admin/page/main-content/index.content	Tue Apr 16 09:43:18 2002 +0200
     1.2 +++ b/Admin/page/main-content/index.content	Tue Apr 16 12:23:33 2002 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4  href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle
     1.5  at Cambridge</strong></a>
     1.6  
     1.7 -<li><a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle
     1.8 +<li><a href="http://www4.in.tum.de/proj/theoremprov/group.html"><strong>Isabelle
     1.9  at Munich</strong></a>
    1.10  
    1.11  </ul>
    1.12 @@ -34,6 +34,15 @@
    1.13  
    1.14  <p>
    1.15  
    1.16 +<h2>Out now</h2>
    1.17 +
    1.18 +The 
    1.19 +<a href="dist/<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> --
    1.20 +published by Springer Verlag as <a
    1.21 +href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>.
    1.22 +
    1.23 +<p>
    1.24 +
    1.25  <h2>Obtaining Isabelle</h2>
    1.26  
    1.27  The <strong><!-- _GP_ distname --></strong> distribution is available