--- a/doc/Contents Sat Apr 05 18:14:54 2014 +0200
+++ b/doc/Contents Sat Apr 05 18:52:03 2014 +0200
@@ -1,4 +1,4 @@
-Tutorials
+Tutorials!
prog-prove Programming and Proving in Isabelle/HOL
tutorial Tutorial on Isabelle/HOL
locales Tutorial on Locales
@@ -10,7 +10,7 @@
sledgehammer User's Guide to Sledgehammer
sugar LaTeX Sugar for Isabelle documents
-Reference Manuals
+Reference Manuals!
main What's in Main
isar-ref The Isabelle/Isar Reference Manual
implementation The Isabelle/Isar Implementation Manual