changeset 39283 | 635e09dea465 |
parent 38837 | b47ee8df7ab4 |
child 40396 | c4c6fa6819aa |
--- a/etc/isar-keywords-ZF.el Fri Sep 10 15:48:43 2010 +0200 +++ b/etc/isar-keywords-ZF.el Fri Sep 10 15:55:09 2010 +0200 @@ -44,7 +44,6 @@ "code_module" "coinductive" "commit" - "constdefs" "consts" "consts_code" "context" @@ -354,7 +353,6 @@ "code_library" "code_module" "coinductive" - "constdefs" "consts" "consts_code" "context"