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
Wed, 12 Jan 2011 17:33:47 +0100
changeset 41530 c7e14c8088a6
parent 41529 ba60efa2fd08
child 41531 a392a18676e9
updated keywords;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Wed Jan 12 17:19:50 2011 +0100
+++ b/etc/isar-keywords.el	Wed Jan 12 17:33:47 2011 +0100
@@ -85,6 +85,7 @@
     "done"
     "enable_pr"
     "end"
+    "enriched_type"
     "equivariance"
     "exit"
     "export_code"
@@ -249,7 +250,6 @@
     "txt"
     "txt_raw"
     "typ"
-    "type_lifting"
     "type_notation"
     "type_synonym"
     "typed_print_translation"
@@ -536,6 +536,7 @@
     "code_pred"
     "corollary"
     "cpodef"
+    "enriched_type"
     "function"
     "instance"
     "interpretation"
@@ -555,7 +556,6 @@
     "sublocale"
     "termination"
     "theorem"
-    "type_lifting"
     "typedef"))
 
 (defconst isar-keywords-qed
isabelle