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;
authorwenzelm
Tue, 16 Jul 2002 18:25:48 +0200
changeset 13364 d3c7d05d8839
parent 13363 c26eeb000470
child 13365 a2c4faad4d35
updated;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Tue Jul 16 16:29:36 2002 +0200
+++ b/etc/isar-keywords-ZF.el	Tue Jul 16 18:25:48 2002 +0200
@@ -189,6 +189,7 @@
     "is"
     "monos"
     "notes"
+    "open"
     "output"
     "overloaded"
     "recursor_eqns"
--- a/etc/isar-keywords.el	Tue Jul 16 16:29:36 2002 +0200
+++ b/etc/isar-keywords.el	Tue Jul 16 18:25:48 2002 +0200
@@ -202,6 +202,7 @@
     "monos"
     "morphisms"
     "notes"
+    "open"
     "output"
     "outputs"
     "overloaded"
isabelle