From 4eacb7f6de2d5b3e33844fc441ba1e47ea2fc7e7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 5 Jul 2000 15:57:47 +0000
Subject: Fix to make back() undoable.

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

diff --git a/isa/isa.el b/isa/isa.el
index 3f1e6b0f..48418438 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -481,7 +481,7 @@ you will be asked to retract the file or process the remainder of it."
 ;;
 
 (defcustom isa-not-undoable-commands-regexp
-  (proof-ids-to-regexp '("undo" "back"))
+  (proof-ids-to-regexp '("undo"))
   "Regular expression matching commands which are *not* undoable."
   :type 'regexp
   :group 'isabelle-config)
-- 
cgit v1.2.3