diff -r 7490555d7dff -r c2f52824dbb2 doc/Contents
--- 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