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.
add latex sugar
authorkleing
Mon, 06 Dec 2004 07:18:24 +0100
changeset 15375 aea34cbc97dd
parent 15374 3849153b850e
child 15376 302ef111b621
add latex sugar
doc/Contents file | annotate | diff | comparison | revisions 
--- a/doc/Contents	Mon Dec 06 01:07:57 2004 +0100
+++ b/doc/Contents	Mon Dec 06 07:18:24 2004 +0100
@@ -14,5 +14,6 @@
   logics-ZF     Isabelle's Logics: FOL and ZF
 
 Specific Topics
+  sugar         LaTeX sugar for proof documents
   axclass       Tutorial on Axiomatic Type Classes
   ind-defs      (Co)Inductive Definitions in ZF
isabelle