From 0df29cabce37b1bfd05e1feaa2eab817149aa326 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 18 Aug 2010 10:56:09 +0000
Subject: Correct comment; try setting process-adaptive-read-buffering to nil.

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

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 8201d89e..d792b9d2 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -310,10 +310,11 @@ process command."
 	(message "Starting: %s" prog-command-line)
 
 	(let
-	    ;; Trac #324: default for this on MacOS (Aquamacs 2.0 (23.2), GNU) is t,
-	    ;; whereas on Linux it is nil, and default of t gives poor performance.
-	    ;; On Mac, t gives better profile results on homogenous
-	    ;; test input AHundredTheorems but perhaps worse interactively?
+	    ;; Trac #324: default for this on Emacs 23 versions is t.
+	    ;; nil gives marginally better results with "make profile.isar"
+	    ;; on homogenous test input AHundredTheorems but perhaps 
+	    ;; worse interactively on varying input.  Should also test
+	    ;; behaviour with tracing output.
 	    ((process-adaptive-read-buffering nil))
 
 	  (apply 'scomint-make  (append (list proc (car prog-name-list) nil)
-- 
cgit v1.2.3