From a2b57152ddefba0586e0dac4899d51ca337efa5b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 2 Jul 1999 13:06:51 +0000
Subject: "txt" keyword;

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 1ed25826..cacca06d 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -151,7 +151,8 @@
 (defconst isar-keywords-proof-decl
   '("also"
     "let"
-    "note"))
+    "note"
+    "txt"))
 
 (defconst isar-keywords-proof-asm
   '("assume"
-- 
cgit v1.2.3