From 48b353c269908b39fe7efab53f6f95c1a3aa9c2c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Jan 2008 20:28:05 +0000
Subject: isar-undos: fix bug trac #189 introduced by attempt to remove
 proof-no-command.

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 8bd908b4..2900d6f3 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -462,7 +462,7 @@ matches contents of quotes for quoted identifiers.")
 
 (defun isar-undos (i)
   (if (> i 0) (concat "undos_proof " (int-to-string i) ";")
-    nil))
+    proof-no-command))
 
 (defun isar-cannot-undo (cmd)
   (concat "cannot_undo \"" cmd "\";"))
-- 
cgit v1.2.3