From 6f0158f8e265364bcb09084aa5709fa644d252dd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 10:28:25 +0000
Subject: Note about tracing buffers for developers

---
 CHANGES | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/CHANGES b/CHANGES
index 2a9503f7..9f4307ab 100644
--- a/CHANGES
+++ b/CHANGES
@@ -120,4 +120,12 @@
 *** proof-shell-process-output now sets proof-shell-last-output and
     proof-shell-last-output-kind which gives clearer interface internally
     and with rest of code.   See docs.
+
+*** Support for "tracing" buffers added.   
+    This was added for Isabelle's simplifier tracing, when a large
+    amount of output is produced during a proof for debugging.
+    The user would rather see the output as it arrives than wait
+    for a long time. 
+    Experimental stage and not yet enabled for any prover.  
+    See proof-shell-spill-output-regexp.
   
\ No newline at end of file
-- 
cgit v1.2.3