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.el
changeset 18165 cbed396ecb1c
parent 17850 6803625e71c4
child 18219 6c84210902db 
--- a/etc/isar-keywords.el	Mon Nov 14 14:37:48 2005 +0100
+++ b/etc/isar-keywords.el	Mon Nov 14 15:14:32 2005 +0100
@@ -41,6 +41,7 @@
     "clear_undos"
     "code_library"
     "code_module"
+    "codegen_class"
     "coinductive"
     "commit"
     "constdefs"
@@ -356,6 +357,7 @@
     "classrel"
     "code_library"
     "code_module"
+    "codegen_class"
     "coinductive"
     "constdefs"
     "consts"
isabelle