From 5cc43f36beaf714b77fefaad5d7513bd6b7480eb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 30 Aug 2001 14:20:00 +0000
Subject: Add variable proof-previous-script-buffer

---
 generic/proof.el | 5 +++++
 1 file changed, 5 insertions(+)

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.")
 
-- 
cgit v1.2.3