# HG changeset patch
# User wenzelm
# Date 1235675354 -3600
# Node ID df610709eda58905486a19d8ff25282823f23786
# Parent  1fb1833cb1992c347c23e25fd9dea70198f68a15
more explicit indication of old manuals;

diff -r 1fb1833cb199 -r df610709eda5 doc-src/Intro/intro.tex
--- a/doc-src/Intro/intro.tex	Thu Feb 26 20:03:32 2009 +0100
+++ b/doc-src/Intro/intro.tex	Thu Feb 26 20:09:14 2009 +0100
@@ -7,7 +7,7 @@
 %prth *(\(.*\));          \1;      
 %{\\out \(.*\)}          {\\out val it = "\1" : thm}
 
-\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Introduction to Isabelle}   
+\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Old Introduction to Isabelle}   
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\
         \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
diff -r 1fb1833cb199 -r df610709eda5 doc-src/Ref/ref.tex
--- a/doc-src/Ref/ref.tex	Thu Feb 26 20:03:32 2009 +0100
+++ b/doc-src/Ref/ref.tex	Thu Feb 26 20:09:14 2009 +0100
@@ -7,7 +7,7 @@
 %%% to delete old ones:  \\indexbold{\*[^}]*}
 %% run    sedindex ref    to prepare index file
 %%% needs chapter on Provers/typedsimp.ML?
-\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle Reference Manual}
+\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Old Isabelle Reference Manual}
 
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\
diff -r 1fb1833cb199 -r df610709eda5 doc/Contents
--- a/doc/Contents	Thu Feb 26 20:03:32 2009 +0100
+++ b/doc/Contents	Thu Feb 26 20:09:14 2009 +0100
@@ -13,8 +13,8 @@
   system          The Isabelle System Manual
 
 Old Manuals (outdated!)
-  intro           Introduction to Isabelle
-  ref             The Isabelle Reference Manual
+  intro           Old Introduction to Isabelle
+  ref             Old Isabelle Reference Manual
   logics          Isabelle's Logics: overview and misc logics
   logics-HOL      Isabelle's Logics: HOL
   logics-ZF       Isabelle's Logics: FOL and ZF