# HG changeset patch
# User wenzelm
# Date 1015793187 -3600
# Node ID 68ffc262c76612833ed2395f4b5f2aa7ec3f5887
# Parent  3bf41c474a8888ecdb45a92429d7beabb3e573db
tuned;

diff -r 3bf41c474a88 -r 68ffc262c766 Admin/page/dist-content/docs.content
--- a/Admin/page/dist-content/docs.content	Sat Mar 09 20:39:46 2002 +0100
+++ b/Admin/page/dist-content/docs.content	Sun Mar 10 21:46:27 2002 +0100
@@ -6,8 +6,8 @@
 <!-- _GP_ distname --> documentation is included here as browsable PDF
 for convenience.  These documents are also part of the standard
 Isabelle distribution.  For getting started with Isabelle quickly, we
-recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a> --
-published by Springer Verlag as <a
+recommend the <a href="<!-- _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.dist") -->