From c54869faa2e146a4f2f9d1e65e21285bc7453e59 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 24 Aug 2010 19:03:03 +0000
Subject: proof-shell-config-done: send proof-assistant-settings-cmds
 individually rather than en-massse, avoiding input buffer size problems
 (bug?) on Emacs 24 with lengthy Isabelle PGIP commands.

---
 generic/proof-shell.el | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 77cf2a5e..4b0741dc 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1777,12 +1777,9 @@ processing."
 		  (if proof-shell-init-cmd
 		      (proof-shell-invisible-command proof-shell-init-cmd t))
 		  (if proof-assistant-settings
-		      (proof-shell-invisible-command
-		       (proof-assistant-settings-cmd) t)))
-
-	      ;; Configure for unicode input
-	      ; (proof-unicode-tokens-shell-config)
-	      ))))))
+		      (mapcar (lambda (c)
+				(proof-shell-invisible-command c t))
+			      (proof-assistant-settings-cmds))))))))))
 
 
 (provide 'proof-shell)
-- 
cgit v1.2.3