From 10b324943a44e2925ad7c8850bc84db8aee4be0e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 May 2009 12:40:07 +0000
Subject: Set strip-output-function for pasting.  Adjust font-lock handling to
 cope with very long multiline matches.

---
 isar/isar.el | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/isar/isar.el b/isar/isar.el
index 2281f3f0..e5354157 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -196,6 +196,7 @@ See -k option for Isabelle interface script."
    proof-shell-eager-annotation-start-length 2
    proof-shell-eager-annotation-start   "\^AI\\|\^AK"
    proof-shell-eager-annotation-end     "\^AJ\\|\^AL"
+   proof-shell-strip-output-markup	'isar-strip-output-markup
 
    ;; Isabelle is learning to talk PGIP...
    proof-shell-match-pgip-cmd		"<pgip"
@@ -562,6 +563,9 @@ Checks the width in the `proof-goals-buffer'"
   (isar-init-output-syntax-table)
   (setq proof-response-font-lock-keywords 
 	isar-output-font-lock-keywords-1)
+  (setq font-lock-multiline t)
+  (make-local-variable 'jit-lock-chunk-size)
+  (setq jit-lock-chunk-size 2000)
   (proof-response-config-done))
 
 (defun isar-goals-mode-config ()
@@ -570,6 +574,9 @@ Checks the width in the `proof-goals-buffer'"
   (isar-init-output-syntax-table)
   (setq proof-goals-font-lock-keywords
 	 isar-goals-font-lock-keywords)
+  (setq font-lock-multiline t)
+  (make-local-variable 'jit-lock-chunk-size)
+  (setq jit-lock-chunk-size 2000)
   (proof-goals-config-done))
 
 (provide 'isar)
-- 
cgit v1.2.3