From 5ca24c4d1c683f71312831cb4f2b913a961d5030 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 May 2009 13:59:38 +0000
Subject: Remove process-live-p, move complete autoload to use point

---
 lib/proof-compat.el | 33 +--------------------------------
 1 file changed, 1 insertion(+), 32 deletions(-)

(limited to 'lib')

diff --git a/lib/proof-compat.el b/lib/proof-compat.el
index 0142364b..027bdfce 100644
--- a/lib/proof-compat.el
+++ b/lib/proof-compat.el
@@ -1,6 +1,6 @@
 ;; proof-compat.el   Operating system and Emacs version compatibility
 ;;
-;; Copyright (C) 2000-2002 LFCS Edinburgh. 
+;; Copyright (C) 2000-2009 LFCS Edinburgh. 
 ;; Author:      David Aspinall <David.Aspinall@ed.ac.uk> and others
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
@@ -74,20 +74,6 @@ Done by `makunbound' and removing all properties mentioned by custom library."
   (makunbound symbol))
 
 
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;;
-;;; XEmacs compatibility
-;;;
-
-;; Compatibility with XEmacs 20.3
-(or (fboundp 'split-path)
-    (defun split-path (path)
-      "Explode a search path into a list of strings.
-The path components are separated with the characters specified
-with `path-separator'."
-      (split-string path (regexp-quote path-separator))))
-
-
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; GNU Emacs compatibility with XEmacs
@@ -103,16 +89,6 @@ The value returned is the value of the last form in BODY."
            (progn ,@body)
          (select-frame ,old-frame))))))
 
-;; Missing function, but anyway Emacs has no datatype for events...
-
-(unless (fboundp 'events-to-keys)
-  (defalias 'events-to-keys 'identity))
-
-;; completion not autoloaded in GNU 20.6.1; we must call 
-;; dynamic-completion-mode after loading it.
-(or (fboundp 'complete)
-    (autoload 'complete "completion"))
-
 ;; Replace in string: XEmacs original now in GNU Emacs as replace-regexp-in-string
 (or (fboundp 'replace-in-string)
     (defun replace-in-string (str regexp newtext &optional literal)
@@ -251,18 +227,11 @@ The value returned is the value of the last form in BODY."
 	(funcall (get this-command 'completion-function)))))
       
 
-(or (fboundp 'process-live-p)
-(defun process-live-p (obj)
-  "Return t if OBJECT is a process that is alive"
-  (and (processp obj)
-       (memq (process-status obj) '(open run stop)))))
-
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; General Emacs version compatibility
 ;;;
 
-
 (defalias 'proof-buffer-syntactic-context 
 	  'proof-buffer-syntactic-context-emulate)
 
-- 
cgit v1.2.3