Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords-ZF.el
changeset 20453 855f07fabd76
parent 20424 d5b4b55ad277
child 20568 9b7f59c1bdfc 
--- a/etc/isar-keywords-ZF.el	Thu Aug 31 23:01:16 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Fri Sep 01 08:36:51 2006 +0200
@@ -41,8 +41,9 @@
     "clear_undos"
     "codatatype"
     "code_class"
-    "code_constapp"
+    "code_const"
     "code_constname"
+    "code_gen"
     "code_generate"
     "code_instance"
     "code_library"
@@ -50,7 +51,7 @@
     "code_purge"
     "code_serialize"
     "code_simtype"
-    "code_typapp"
+    "code_type"
     "code_typename"
     "coinductive"
     "commit"
@@ -354,15 +355,16 @@
     "classrel"
     "codatatype"
     "code_class"
-    "code_constapp"
+    "code_const"
     "code_constname"
+    "code_gen"
     "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
     "code_serialize"
-    "code_typapp"
+    "code_type"
     "code_typename"
     "coinductive"
     "const_syntax"
isabelle