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
Mon, 17 Feb 2014 13:31:42 +0100
changeset 55532 b751e6d7f4e9
parent 55531 601ca8efa000
child 55533 6260caf1d612
updated keywords
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Mon Feb 17 13:31:42 2014 +0100
+++ b/etc/isar-keywords.el	Mon Feb 17 13:31:42 2014 +0100
@@ -62,8 +62,8 @@
     "corollary"
     "cpodef"
     "datatype"
+    "datatype_compat"
     "datatype_new"
-    "datatype_new_compat"
     "declaration"
     "declare"
     "def"
@@ -154,6 +154,7 @@
     "note"
     "notepad"
     "obtain"
+    "old_primrec"
     "oops"
     "oracle"
     "overloading"
@@ -169,7 +170,6 @@
     "primcorec"
     "primcorecursive"
     "primrec"
-    "primrec_new"
     "print_abbrevs"
     "print_antiquotations"
     "print_ast_translation"
@@ -500,8 +500,8 @@
     "consts"
     "context"
     "datatype"
+    "datatype_compat"
     "datatype_new"
-    "datatype_new_compat"
     "declaration"
     "declare"
     "default_sort"
@@ -546,6 +546,7 @@
     "nonterminal"
     "notation"
     "notepad"
+    "old_primrec"
     "oracle"
     "overloading"
     "parse_ast_translation"
@@ -553,7 +554,6 @@
     "partial_function"
     "primcorec"
     "primrec"
-    "primrec_new"
     "print_ast_translation"
     "print_translation"
     "quickcheck_generator"
isabelle