diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-08-14 14:12:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-08-14 14:12:40 +0000 |
| commit | fecff511bb9fd00267ad9d0d547a64e012480908 (patch) | |
| tree | 97a4f13ce94699f19241d79e34a7b5c2397ec9b8 /generic/proof-script.el | |
| parent | 92bf338edd846931e952507b369179c0f67a75ed (diff) | |
Add support for sending back literal commands reusing PBP markup mechanisms.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 893a9f6a..aaa1b98e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2209,6 +2209,7 @@ appropriate." (proof-activate-scripting) (let (span) (proof-goto-end-of-locked) + (insert "\n") ;; could be user opt (insert cmd) (setq span (make-span (proof-locked-end) (point))) (set-span-property span 'type 'pbp) |