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 18221 93302908b8eb
parent 18219 6c84210902db
child 18332 e883d1332662 
--- 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