diff options
| author | Pierre Courtieu | 2006-04-26 22:31:52 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-04-26 22:31:52 +0000 |
| commit | 8ba99b2013e0f62c9117fc79364630ff1fbec585 (patch) | |
| tree | 1ecc9083150779a527fab764508ac9dab7d78096 /generic/proof-shell.el | |
| parent | fc774de804417a399094f61de1880e75b556c851 (diff) | |
Changed the type of proof-goal-command-p. It takes now a span, which
allows using a span attribute to detect goal commands.
I think I modified all modes accordingly.
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index b42cb310..9db2a3b3 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -343,7 +343,9 @@ Does nothing if proof assistant is already running." ;; could add back code above for multiple shells <2> <3>, etc. ;; Seems hardly worth it. (apply 'make-comint (append (list proc (car prog-name-list) nil) - (cdr prog-name-list)))) + (cdr prog-name-list))) + ;(message (append (list proc (car prog-name-list) nil) (cdr prog-name-list))) + ) (setq proof-shell-buffer (get-buffer (concat "*" proc "*"))) |