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