From 4b2801a521f7365f8a3833fa9805828792dac853 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Sep 2009 08:40:57 +0000
Subject: Functions find-and-forget and count-undos now return lists of
 commands

---
 plastic/plastic.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'plastic')

diff --git a/plastic/plastic.el b/plastic/plastic.el
index 546c9acb..047e20fb 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -228,7 +228,8 @@ Given is the first SPAN which needs to be undone."
 	       (if (= (aref string i) proof-terminal-char) (setq ct (+ 1 ct)))
 	       (setq i (+ 1 i)))))
       (setq span (next-span span 'type)))
-    (concat plastic-lit-string " &S Undo x" (int-to-string ct) proof-terminal-string)))
+    (list (concat plastic-lit-string 
+		  " &S Undo x" (int-to-string ct) proof-terminal-string))))
 
 (defun plastic-goal-command-p (span)
   "Decide whether argument is a goal or not"			;; NEED CHG.
@@ -266,7 +267,9 @@ Given is the first SPAN which needs to be undone."
       (setq span (next-span span 'type))
 
     )
-    (concat plastic-lit-string " &S Undo x" (int-to-string spans) proof-terminal-string) ))
+    (list (concat plastic-lit-string 
+		  " &S Undo x" (int-to-string spans) 
+		  proof-terminal-string))))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;   Other stuff which is required to customise script management   ;;
-- 
cgit v1.2.3