# HG changeset patch
# User kleing
# Date 1082589623 -7200
# Node ID d258f6c11d832afc3544dda70378bc8976f52337
# Parent  c374608547ae97a3dbe7b0a1ae2840ab37c458c7
removed 'tutorial out now' (out of date)

diff -r c374608547ae -r d258f6c11d83 Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Thu Apr 22 01:19:50 2004 +0200
+++ b/Admin/page/main-content/index.content	Thu Apr 22 01:20:23 2004 +0200
@@ -75,27 +75,11 @@
 <p>
 The <strong><!-- _GP_ distname --></strong> distribution is available
 from several <a href="dist/index.html">mirror sites</a>.  It includes
-source and binary packages and browsable documentation. There is also
-a nightly generated <a href="http://isabelle.in.tum.de/devel/">development 
-snapshot</a> available.
-
-<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>
-
-You can also browse the <a href="library/index.html">Isabelle theory
-library</a>; the main logics are <a
-href="library/HOL/index.html">HOL</a>, <a
-href="library/HOLCF/index.html">HOLCF</a>, <a
-href="library/FOL/index.html">FOL</a> and <a
-href="library/ZF/index.html">ZF</a>.
+source and binary packages and browsable documentation. You can also
+browse the <a href="library/index.html">Isabelle theory library</a>
+online. For the curious, there is a nightly generated <a
+href="http://isabelle.in.tum.de/devel/">development snapshot</a>
+available.
 
 <p>