Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated according to actual manual title;
authorwenzelm
Thu, 12 Mar 2009 11:17:34 +0100
changeset 30467 afd0e5095c6b
parent 30466 5f31e24937c5
child 30468 0cf8f536ef98
updated according to actual manual title;
doc/Contents file | annotate | diff | comparison | revisions 
--- 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
isabelle