# HG changeset patch
# User wenzelm
# Date 1236853054 -3600
# Node ID afd0e5095c6ba5c3d344a40e414d626e865528b1
# Parent  5f31e24937c5895be2b769c5a5f693de8719b3e1
updated according to actual manual title;

diff -r 5f31e24937c5 -r afd0e5095c6b doc/Contents
--- a/doc/Contents	Thu Mar 12 11:10:02 2009 +0100
+++ b/doc/Contents	Thu Mar 12 11:17:34 2009 +0100
@@ -6,7 +6,7 @@
   classes         Tutorial on Type Classes
   functions       Tutorial on Function Definitions
   codegen         Tutorial on Code Generation
-  sugar           LaTeX sugar for proof documents
+  sugar           LaTeX Sugar for Isabelle documents
 
 Reference Manuals
   isar-ref        The Isabelle/Isar Reference Manual