From 28dd62f87f840a4d3f3bcf97c53f1d238633f29e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 19 Aug 2003 21:29:47 +0000
Subject: Use newer undo function ProofGeneral.undo (no output undo).

---
 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 244b40a0..ffbc6583 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -368,7 +368,7 @@
 
 ;; ----- variations on undo
 
-(defconst isar-undo "undo;")
+(defconst isar-undo "ProofGeneral.undo;")  (* no output undo *)
 (defconst isar-kill "kill;")
 
 (defun isar-remove (name)
-- 
cgit v1.2.3