Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords-ZF.el
changeset 24912 52bc004950c4
parent 24904 5b59fadfe878
child 24919 ad3a8569759c 
--- a/etc/isar-keywords-ZF.el	Mon Oct 08 18:13:10 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Oct 08 19:53:09 2007 +0200
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + Pure-ProofGeneral + FOL + ZF
+;; Generated from Pure + Pure-ProofGeneral + FOL + ZF.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;
 ;; $Id$
isabelle