From e00bf9df96a288cf9d380390f66956304b77d2aa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 15 Nov 1999 22:54:54 +0000
Subject: docstring

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index c1aede9b..af0f4cc4 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1789,6 +1789,9 @@ If WAIT is an integer, wait for that many seconds afterwards."
   ;; (Problem to fix is that process can die before sentinel is set:
   ;;  it ought to be set just here, perhaps: but setting hook here
   ;;  had no effect for some odd reason).
+  ;; What actually happens: an obscure infinite loop somewhere
+  ;; that can lead to "lisp nesting exceeded" somewhere, when
+  ;; shell startup fails.  Ugly, but low priority to fix.
   ))
 
 ;; watch difference with proof-shell-menu, proof-shell-mode-menu.
-- 
cgit v1.2.3