From 0960393a1f2db7f2ae39945cd44f7df7e1370ba7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Mar 2000 04:21:42 +0000
Subject: Comment.

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 0693fdbf..0cd7058d 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1412,7 +1412,7 @@ to do syntax highlighting with font-lock."
 
 (defcustom proof-shell-process-connection-type 
   ;; Use ptys unless it seems like we're on Solaris.  Only have
-  ;; a good chance to guess on XEmacs which provides shell-command-to-string
+  ;; a good chance to guess if shell-command-to-string available.
   (if (fboundp 'shell-command-to-string)
       (not (string-match "[sS]un" (shell-command-to-string "uname")))
     t)
-- 
cgit v1.2.3