diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-03-23 10:42:44 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-03-23 10:42:44 +0000 |
commit | 11e63b3a7392884e0842245bf38d6e33fc0c5d2d (patch) | |
tree | a9c364826fb007ad89f3c75b609a82db2d7f90e9 /isar/isar-keywords.el | |
parent | 7e300cb821c3725e4624e74a8bf6d469185dcc5f (diff) |
added 'moreover';
Diffstat (limited to 'isar/isar-keywords.el')
-rw-r--r-- | isar/isar-keywords.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index c8b337e0..82f4a9da 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -177,6 +177,7 @@ (defconst isar-keywords-proof-decl '("also" "let" + "moreover" "note" "sect" "subsect" |