From 90285e645ae7738295620050d2ad69f4aa841e67 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Dec 2001 19:16:46 +0000
Subject: Added proof-trace-buffer.

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

diff --git a/generic/proof.el b/generic/proof.el
index 2af5a786..33dfed63 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -82,6 +82,10 @@ to help guess the directory of files Coq says it's reinterning.")
 (defvar proof-response-buffer nil
   "The response buffer.")
 
+(defvar proof-trace-buffer nil
+  "A tracing buffer for storing ``spilled'' proof shell output.
+Spilling is active if proof-shell-spilling-output is non-nil.")
+
 (defvar proof-shell-error-or-interrupt-seen nil
   "Flag indicating that an error or interrupt has just occurred.
 Set to 'error or 'interrupt if one was observed from the proof 
-- 
cgit v1.2.3