From d500195b4a38cb1e7e714672c59fefdf6d1b50a5 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Thu, 14 Oct 1999 09:42:02 +0000
Subject: renamed verbatim/verb to text_raw/txt_raw;

---
 isar/isar-keywords.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'isar/isar-keywords.el')

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"
-- 
cgit v1.2.3