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.el
changeset 51836 4d6dcd51dd52
parent 51804 be6e703908f4
child 52060 179236c82c2a 
--- a/etc/isar-keywords.el	Tue Apr 30 13:23:52 2013 +0200
+++ b/etc/isar-keywords.el	Tue Apr 30 13:34:31 2013 +0200
@@ -31,7 +31,7 @@
     "ax_specification"
     "axiomatization"
     "back"
-    "bnf_def"
+    "bnf"
     "boogie_end"
     "boogie_open"
     "boogie_status"
@@ -583,7 +583,7 @@
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"
-    "bnf_def"
+    "bnf"
     "boogie_vc"
     "code_pred"
     "corollary"
isabelle