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 41229 d797baa3d57c
parent 40965 54b6c9e1c157
child 41249 26f12f98f50a 
--- a/etc/isar-keywords-ZF.el	Fri Dec 17 17:08:56 2010 +0100
+++ b/etc/isar-keywords-ZF.el	Fri Dec 17 17:43:54 2010 +0100
@@ -103,7 +103,7 @@
     "no_syntax"
     "no_translations"
     "no_type_notation"
-    "nonterminals"
+    "nonterminal"
     "notation"
     "note"
     "notepad"
@@ -381,7 +381,7 @@
     "no_syntax"
     "no_translations"
     "no_type_notation"
-    "nonterminals"
+    "nonterminal"
     "notation"
     "notepad"
     "oracle"
isabelle