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.
added LaTeXsugar
authorkleing
Thu, 14 Apr 2005 08:56:08 +0200
changeset 15729 63915e6e5775
parent 15728 a6a74062ffb0
child 15730 6480cd74feb3
added LaTeXsugar
doc-src/Contents file | annotate | diff | comparison | revisions 
--- a/doc-src/Contents	Thu Apr 14 08:52:46 2005 +0200
+++ b/doc-src/Contents	Thu Apr 14 08:56:08 2005 +0200
@@ -1,1 +1,1 @@
-Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Locales
+Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Locales LaTeXsugar
isabelle