diff -r d12653fbd5b1 -r ad83657a3f93 doc/Contents
--- a/doc/Contents	Sat Apr 05 19:16:16 2014 +0200
+++ b/doc/Contents	Sat Apr 05 19:16:44 2014 +0200
@@ -17,7 +17,7 @@
   system          The Isabelle System Manual
   jedit           Isabelle/jEdit
 
-Old Manuals (outdated)
+Old Manuals
   intro           Old Introduction to Isabelle
   logics          Isabelle's Logics: HOL and misc logics
   logics-ZF       Isabelle's Logics: FOL and ZF