From 99a8e9bd38804a3b0e05be1186d2fc9b0ed34ec0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 10:30:35 +0000
Subject: Add settings for testing trace buffers.

---
 isa/isa.el | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/isa/isa.el b/isa/isa.el
index 61609095..6f68ef76 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -196,10 +196,18 @@ and script mode."
 
    proof-shell-restart-cmd		"ProofGeneral.isa_restart();"
    proof-shell-quit-cmd			"quit();"
-   
+
    proof-shell-eager-annotation-start   "\360\\|\362"
    proof-shell-eager-annotation-start-length 1
    proof-shell-eager-annotation-end     "\361\\|\363"
+   ;; ALTERNATIVE SETTINGS FOR TESTING TRACING MODE:
+   ;; FIXME: Isabelle should markup Applying message now as an
+   ;; eager annotation.
+   ;; proof-shell-eager-annotation-start   "\360\\|\362\\|Applying"
+   ;; proof-shell-spill-output-regexp      "Applying"
+   ;; proof-shell-eager-annotation-start-length 8 ;; was 1 (ideal)
+   ;; proof-shell-eager-annotation-end     "\361\\|\363\\|rule:"
+   ;; END TRACING TEST
 
    ;; Some messages delimited by eager annotations
    proof-shell-clear-response-regexp    "Proof General, please clear the response buffer."
-- 
cgit v1.2.3