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.
new syntax for class_package
authorhaftmann
Mon, 14 Nov 2005 15:14:32 +0100
changeset 18165 cbed396ecb1c
parent 18164 eb4206c930cd
child 18166 b7c3136f604d
new syntax for class_package
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- 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