From f8e0dad1bcbd97ee87b89ee4e6c73556cf626466 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 17 Feb 2008 11:47:26 +0000
Subject: Set proof-shell-eager-annotation-start-length=2.  This should have
 been when ASCII scheme was introduced.  Messages may be lost otherwise.

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 9f6efd8d..eadcf5e5 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -192,7 +192,7 @@ See -k option for Isabelle interface script."
    proof-shell-init-cmd			nil
    proof-shell-restart-cmd              "ProofGeneral.restart"
 
-   proof-shell-eager-annotation-start-length 1
+   proof-shell-eager-annotation-start-length 2
    proof-shell-eager-annotation-start   "\360\\|\362\\|\^AI\\|\^AK"
    proof-shell-eager-annotation-end     "\361\\|\363\\|\^AJ\\|\^AL"
 
-- 
cgit v1.2.3