From 936bb55d13bdca23b9bc46db747130f05d9aeefa Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 27 May 1999 19:28:21 +0000
Subject: renamed undos to undos_proof;

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 07cc7cbd..7de469cf 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -37,7 +37,7 @@
     "restart"
     "top"
     "undo"
-    "undos"
+    "undos_proof"
     "up"))
 
 (defconst isar-keywords-diag
-- 
cgit v1.2.3