diff -r 8429123bc58a -r d9fed6e99a57 doc/Contents
--- a/doc/Contents	Tue Jun 18 15:15:36 2013 +0200
+++ b/doc/Contents	Tue Jun 18 15:31:52 2013 +0200
@@ -17,7 +17,6 @@
 
 Old Manuals (outdated)
   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