diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-08-07 23:21:05 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-08-07 23:21:05 +0000 |
| commit | 291d836baa7d0a6f7dced4f0b9d0144c7a0aa181 (patch) | |
| tree | 63aec9ad159d6adfc8b3564fad7d92fbff6f336b /isar/isar-keywords.el | |
| parent | 89b4dc8fa2acb4f6ab93e9501db044071e196c6f (diff) | |
new category isar-keywords-proof-heading;
Diffstat (limited to 'isar/isar-keywords.el')
| -rw-r--r-- | isar/isar-keywords.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 9363b7b0..14839e30 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -314,6 +314,11 @@ (defconst isar-keywords-qed-global '("oops")) +(defconst isar-keywords-proof-heading + '("sect" + "subsect" + "subsubsect")) + (defconst isar-keywords-proof-goal '("have" "hence" @@ -342,9 +347,6 @@ "let" "moreover" "note" - "sect" - "subsect" - "subsubsect" "txt" "txt_raw")) |