diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 8dc26f9a..d7a05cf4 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -10,11 +10,22 @@ (require 'proof-menu) (require 'span) -(require 'pg-goals) ; associated output + +;; +;; Internal variables used in sub-modules +;; + +;; A raw record of the last output from the proof system +(defvar proof-shell-last-output nil + "A record of the last string seen from the proof system.") + + +;; sub-modules + (require 'pg-response) ; buffers for goals/response +(require 'pg-goals) ; associated output ;; Nuke some byte compiler warnings. - (eval-when-compile (require 'comint) (require 'font-lock)) @@ -78,10 +89,6 @@ See the functions `proof-start-queue' and `proof-exec-loop'.") "A record of the last prompt seen from the proof system. This is the string matched by `proof-shell-annotated-prompt-regexp'.") -;; A raw record of the last output from the proof system -(defvar proof-shell-last-output nil - "A record of the last string seen from the proof system.") - ;; A flag indicating the type of thing proof-shell-last-output (defvar proof-shell-last-output-kind nil "A symbol denoting the type of the last output string from the proof system. |