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;
authorwenzelm
Sat, 21 Sep 2013 12:03:51 +0200
changeset 53768 46a2154f250c
parent 53767 7e3aafebcdd0
child 53769 036e80175bdd
updated keywords;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Fri Sep 20 22:39:30 2013 +0200
+++ b/etc/isar-keywords.el	Sat Sep 21 12:03:51 2013 +0200
@@ -172,7 +172,7 @@
     "presume"
     "pretty_setmargin"
     "prf"
-    "primcorec"
+    "primcorecursive"
     "primrec"
     "primrec_new"
     "print_abbrevs"
@@ -615,7 +615,7 @@
     "nominal_inductive2"
     "nominal_primrec"
     "pcpodef"
-    "primcorec"
+    "primcorecursive"
     "quotient_definition"
     "quotient_type"
     "recdef_tc"
isabelle