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 keywords
authorblanchet
Tue, 28 Aug 2012 17:36:20 +0200
changeset 48981 3517d6f50b12
parent 48980 debfa361f648
child 48982 efecf4b90cc8
updated keywords
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Tue Aug 28 17:24:53 2012 +0200
+++ b/etc/isar-keywords.el	Tue Aug 28 17:36:20 2012 +0200
@@ -32,6 +32,10 @@
     "axiomatization"
     "axioms"
     "back"
+    "bnf_codata"
+    "bnf_data"
+    "bnf_def"
+    "bnf_of_typ"
     "boogie_end"
     "boogie_open"
     "boogie_status"
@@ -170,6 +174,7 @@
     "print_ast_translation"
     "print_attributes"
     "print_binds"
+    "print_bnfs"
     "print_bundles"
     "print_cases"
     "print_claset"
@@ -387,6 +392,7 @@
     "print_antiquotations"
     "print_attributes"
     "print_binds"
+    "print_bnfs"
     "print_bundles"
     "print_cases"
     "print_claset"
@@ -463,6 +469,9 @@
     "attribute_setup"
     "axiomatization"
     "axioms"
+    "bnf_codata"
+    "bnf_data"
+    "bnf_of_typ"
     "boogie_end"
     "boogie_open"
     "bundle"
@@ -568,6 +577,7 @@
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"
+    "bnf_def"
     "boogie_vc"
     "code_pred"
     "corollary"
isabelle