1.1 --- a/Admin/page/dist-content/docs.content	Thu Jan 24 16:37:49 2002 +0100
     1.2 +++ b/Admin/page/dist-content/docs.content	Thu Jan 24 18:22:01 2002 +0100
     1.3 @@ -2,10 +2,14 @@
     1.4  Isabelle Documentation
     1.5  
     1.6  %body%
     1.7 +
     1.8  <!-- _GP_ distname --> documentation is included here as browsable PDF
     1.9  for convenience.  These documents are also part of the standard
    1.10  Isabelle distribution.  For getting started with Isabelle quickly, we
    1.11 -recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a>.
    1.12 +recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a> --
    1.13 +published by Springer Verlag as <a
    1.14 +href="http://link.springer.de/link/service/series/0558/tocs/t2283.htm">LNCS
    1.15 +2283</a>.
    1.16  
    1.17  <!-- _GP_ include("$pwd/docu-contents.dist") -->
    1.18