changeset 69409 e7a5340128f0
parent 62739 628c97d39627
child 76395 fac28b6c37e8
--- a/doc/Contents	Thu Dec 06 00:24:21 2018 +0100
+++ b/doc/Contents	Thu Dec 06 12:55:53 2018 +0100
@@ -1,4 +1,4 @@
+Isabelle Tutorials!
   prog-prove      Programming and Proving in Isabelle/HOL
   locales         Tutorial on Locales
   classes         Tutorial on Type Classes
@@ -11,14 +11,14 @@
   eisbach         The Eisbach User Manual
   sugar           LaTeX Sugar for Isabelle documents
-Reference Manuals!
+Isabelle Reference Manuals!
   main            What's in Main
   isar-ref        The Isabelle/Isar Reference Manual
   implementation  The Isabelle/Isar Implementation Manual
   system          The Isabelle System Manual
   jedit           Isabelle/jEdit
-Old Manuals
+Old Isabelle Manuals
   tutorial        Tutorial on Isabelle/HOL
   intro           Old Introduction to Isabelle
   logics          Isabelle's Logics: HOL and misc logics