changeset 28895 | 4e2914c2f8c5 |
parent 28721 | 21170e10c745 |
child 29113 | fb31b7a6c858 |
child 29229 | 6f6262027054 |
--- a/etc/isar-keywords-ZF.el Thu Nov 27 10:28:27 2008 +0100 +++ b/etc/isar-keywords-ZF.el Thu Nov 27 10:29:07 2008 +0100 @@ -166,6 +166,7 @@ "simproc_setup" "sorry" "subclass" + "sublocale" "subsect" "subsection" "subsubsect" @@ -415,6 +416,7 @@ "interpretation" "lemma" "subclass" + "sublocale" "theorem")) (defconst isar-keywords-qed