changeset 40784 | 177e8cea3e09 |
parent 40396 | c4c6fa6819aa |
child 40960 | 9e54eb514a46 |
--- a/etc/isar-keywords-ZF.el Sun Nov 28 15:34:35 2010 +0100 +++ b/etc/isar-keywords-ZF.el Sun Nov 28 16:15:31 2010 +0100 @@ -172,6 +172,7 @@ "subsubsect" "subsubsection" "syntax" + "syntax_declaration" "term" "text" "text_raw" @@ -395,6 +396,7 @@ "setup" "simproc_setup" "syntax" + "syntax_declaration" "text" "text_raw" "theorems"