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.
added code generator syntax
authorhaftmann
Tue, 22 Nov 2005 14:32:01 +0100
changeset 18221 93302908b8eb
parent 18220 43cf5767f992
child 18222 a8ccacce3b52
added code generator syntax
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Tue Nov 22 12:59:25 2005 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Nov 22 14:32:01 2005 +0100
@@ -40,6 +40,7 @@
     "code_generate"
     "code_library"
     "code_module"
+    "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"
     "codegen_class"
@@ -334,6 +335,7 @@
     "code_generate"
     "code_library"
     "code_module"
+    "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"
     "codegen_class"
--- a/etc/isar-keywords.el	Tue Nov 22 12:59:25 2005 +0100
+++ b/etc/isar-keywords.el	Tue Nov 22 14:32:01 2005 +0100
@@ -42,6 +42,7 @@
     "code_generate"
     "code_library"
     "code_module"
+    "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"
     "codegen_class"
@@ -365,6 +366,7 @@
     "code_generate"
     "code_library"
     "code_module"
+    "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"
     "codegen_class"
isabelle