aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-keywords.el
diff options
context:
space:
mode:
authorGravatar Makarius Wenzel <makarius@sketis.net>1999-05-26 20:18:01 +0000
committerGravatar Makarius Wenzel <makarius@sketis.net>1999-05-26 20:18:01 +0000
commit66dc232c1f38bb8efc3cfb154ca04b890eb049d9 (patch)
treec6af852f05c59dcafc92cb892c63024f314784d8 /isar/isar-keywords.el
parent7aa646b2cace98027458932c0a2e80f146065d65 (diff)
added isar-keywords-qed-block;
Diffstat (limited to 'isar/isar-keywords.el')
-rw-r--r--isar/isar-keywords.el7
1 files changed, 5 insertions, 2 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 4d5c1694..07cc7cbd 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -25,6 +25,7 @@
(defconst isar-keywords-control
'("break"
+ "cannot_undo"
"cd"
"clear_undo"
"exit"
@@ -123,8 +124,10 @@
(defconst isar-keywords-qed
'("\\."
"\\.\\."
- "by"
- "qed"
+ "by"))
+
+(defconst isar-keywords-qed-block
+ '("qed"
"qed_with"))
(defconst isar-keywords-proof-goal