From 2361dbd516e3a4c5b936d43bec09cd0a5d0c14c6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Aug 1999 13:55:52 +0000
Subject: Fix for XEmacs 21

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index b4949067..3c4bfc22 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -894,9 +894,13 @@ assistant."
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (defvar proof-shell-insert-space-fudge 
-  (if (string-match "XEmacs" emacs-version) "" " ")
+  (cond
+   ((string-match "21.*XEmacs" emacs-version) " ")
+   ((string-match "XEmacs" emacs-version) "")
+   (t " "))
   "String to insert after setting proof marker to prevent it moving.
-Fixes a bug/problem with FSF Emacs.")
+Allows for a difference between different versions of comint across
+different Emacs versions.")
 
 (defun proof-shell-insert (string)
   "Insert STRING at the end of the proof shell, call comint-send-input.
-- 
cgit v1.2.3