changeset 39283 | 635e09dea465 |
parent 38943 | aea3d2566374 |
child 39571 | 3a3d9de2ad6e |
--- a/etc/isar-keywords.el Fri Sep 10 15:48:43 2010 +0200 +++ b/etc/isar-keywords.el Fri Sep 10 15:55:09 2010 +0200 @@ -63,7 +63,6 @@ "coinductive" "coinductive_set" "commit" - "constdefs" "consts" "consts_code" "context" @@ -449,7 +448,6 @@ "code_type" "coinductive" "coinductive_set" - "constdefs" "consts" "consts_code" "context"