diff options
author | Makarius Wenzel <makarius@sketis.net> | 1999-10-14 09:42:02 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 1999-10-14 09:42:02 +0000 |
commit | d500195b4a38cb1e7e714672c59fefdf6d1b50a5 (patch) | |
tree | 2afc5f8905c71bb6289f8f85e2ec03d4d330e8c0 /isar/isar-keywords.el | |
parent | d08b7740b55d4ec337a3f9f8544fe6a91a7dc39a (diff) |
renamed verbatim/verb to text_raw/txt_raw;
Diffstat (limited to 'isar/isar-keywords.el')
-rw-r--r-- | isar/isar-keywords.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 06e21128..3b3747d6 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -118,13 +118,13 @@ "setup" "syntax" "text" + "text_raw" "theorems" "token_translation" "translations" "typed_print_translation" "typedecl" - "types" - "verbatim")) + "types")) (defconst isar-keywords-theory-goal '("instance" @@ -168,7 +168,7 @@ "subsect" "subsubsect" "txt" - "verb")) + "txt_raw")) (defconst isar-keywords-proof-asm '("assume" |