diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-08-30 14:20:00 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-08-30 14:20:00 +0000 |
commit | 5cc43f36beaf714b77fefaad5d7513bd6b7480eb (patch) | |
tree | e9722e9574d4d931a3b3add370b8c4f42ffa3baf /generic/proof.el | |
parent | b0bdc521c0daa59e8997b5205f688f47581cb9dd (diff) |
Add variable proof-previous-script-buffer
Diffstat (limited to 'generic/proof.el')
-rw-r--r-- | generic/proof.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof.el b/generic/proof.el index 44645896..2af5a786 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -68,6 +68,11 @@ read.") (defvar proof-script-buffer nil "The currently active scripting buffer or nil if none.") +(defvar proof-previous-script-buffer nil + "Previous value of proof-script-buffer, recorded when scripting turned off. +At the moment, this is only used for Coq's ugly multiple file code, +to help guess the directory of files Coq says it's reinterning.") + (defvar proof-shell-buffer nil "Process buffer where the proof assistant is run.") |