diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 13:59:38 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 13:59:38 +0000 |
commit | 5ca24c4d1c683f71312831cb4f2b913a961d5030 (patch) | |
tree | 916ed39e3c6bb3d392e5292be6f05b5623229738 | |
parent | 428235d44085f32f47557d921fbb2057a2996df2 (diff) |
Remove process-live-p, move complete autoload to use point
-rw-r--r-- | lib/proof-compat.el | 33 |
1 files changed, 1 insertions, 32 deletions
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) ;; @@ -76,20 +76,6 @@ Done by `makunbound' and removing all properties mentioned by custom library." ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; -;;; 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) |