aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-keywords.el
diff options
context:
space:
mode:
authorGravatar Makarius Wenzel <makarius@sketis.net>1999-07-02 17:13:28 +0000
committerGravatar Makarius Wenzel <makarius@sketis.net>1999-07-02 17:13:28 +0000
commit10c692a980feb251af9a671090cd44736df47574 (patch)
tree80ca93cacbf27f7efef909fa35ea21ce311c003b /isar/isar-keywords.el
parenta2b57152ddefba0586e0dac4899d51ca337efa5b (diff)
added "sorry" proof;
Diffstat (limited to 'isar/isar-keywords.el')
-rw-r--r--isar/isar-keywords.el3
1 files changed, 2 insertions, 1 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index cacca06d..803b2388 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -124,7 +124,8 @@
(defconst isar-keywords-qed
'("\\."
"\\.\\."
- "by"))
+ "by"
+ "sorry"))
(defconst isar-keywords-qed-block
'("qed"