changeset 19655 | f10b141078e7 |
parent 19633 | a6fad1e8bbd2 |
child 19797 | a527b3e1076a |
--- a/etc/isar-keywords.el Tue May 16 20:28:02 2006 +0200 +++ b/etc/isar-keywords.el Tue May 16 21:32:56 2006 +0200 @@ -55,6 +55,7 @@ "code_syntax_tyco" "coinductive" "commit" + "const_syntax" "constdefs" "consts" "consts_code" @@ -391,6 +392,7 @@ "code_syntax_const" "code_syntax_tyco" "coinductive" + "const_syntax" "constdefs" "consts" "consts_code"