# HG changeset patch
# User wenzelm
# Date 1396718204 -7200
# Node ID ad83657a3f937b7649ffb0126f60b30b4cc833f7
# Parent  d12653fbd5b1290cf60fafc48b2e216285d97e92
tuned -- just one qualification of sections ("!");

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