diff -r f9f2e1643593 -r 322e2a3335d4 Admin/page/main-content/docs.content
--- a/Admin/page/main-content/docs.content	Mon Jun 06 14:12:07 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,17 +0,0 @@
-%title%
-Isabelle Documentation
-
-%body%
-
-<!-- _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>.  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> -- and the <a
-href="http://isabelle.in.tum.de/coursematerial/">course material</a>
-page. See the
-<a href="faq.html">FAQ</a> for answers to frequent problems.
-
-<!-- _GP_ include("$pwd/docu-contents.main") -->