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
Fri, 26 Apr 2013 11:04:47 +0200
changeset 51789 75b92ff1d853
parent 51788 5fe72280a49f
child 51790 22517d04d20b
updated keywords
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Fri Apr 26 11:04:46 2013 +0200
+++ b/etc/isar-keywords.el	Fri Apr 26 11:04:47 2013 +0200
@@ -295,7 +295,7 @@
     "values"
     "welcome"
     "with"
-    "wrap_data"
+    "wrap_free_constructors"
     "write"
     "{"
     "}"))
@@ -612,7 +612,7 @@
     "termination"
     "theorem"
     "typedef"
-    "wrap_data"))
+    "wrap_free_constructors"))
 
 (defconst isar-keywords-qed
   '("\\."
isabelle