diff options
| author | David Aspinall | 2009-09-28 08:40:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-28 08:40:57 +0000 |
| commit | 4b2801a521f7365f8a3833fa9805828792dac853 (patch) | |
| tree | 1c9159ba41b75b362370307a098e3c86821dafcc /plastic | |
| parent | 07c7e94620921a826ac07363bf49f35cff0e6bc9 (diff) | |
Functions find-and-forget and count-undos now return lists of commands
Diffstat (limited to 'plastic')
| -rw-r--r-- | plastic/plastic.el | 7 |
1 files changed, 5 insertions, 2 deletions
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 ;; |