diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-15 18:38:55 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-15 18:38:55 +0000 |
| commit | 7a23041ef6e3bf6b6fa4f5b276487d77817b04f4 (patch) | |
| tree | b913361102ca536fe3b42f3f616721c1eecfa75d /plastic | |
| parent | 2eff154170adb5ffebc35028f979b9c6115b56ee (diff) | |
Change name of proof-execute-minibufer-cmd.
Diffstat (limited to 'plastic')
| -rw-r--r-- | plastic/plastic.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index 0678042f..4b28ad9a 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -654,7 +654,7 @@ We assume that module identifiers coincide with file names." (interactive) (plastic-reset-error) (let ((proof-state-preserving-p nil)) ; allow any command - (proof-execute-minibuffer-cmd)) + (proof-minibuffer-cmd)) (plastic-call-if-no-error 'plastic-send-one-undo)) (defun plastic-minibuf () @@ -670,7 +670,7 @@ We assume that module identifiers coincide with file names." (plastic-send-minibuf)) (defun plastic-send-minibuf () - "take cmd from minibuffer - see doc for proof-execute-minibuffer-cmd" + "take cmd from minibuffer - see doc for proof-minibuffer-cmd" (interactive) (let (cmd) (setq cmd (read-string "Command: " nil 'proof-minibuffer-history)) |