From cfc6132428fa4faa65c4067073e699cffa994074 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Feb 1999 13:40:18 +0000
Subject: Added PROOFGENERAL_ASSISTANTS.  proof-site should  *not* need to be
 edited.

---
 generic/proof.el | 13 -------------
 1 file changed, 13 deletions(-)

(limited to 'generic/proof.el')

diff --git a/generic/proof.el b/generic/proof.el
index a3d65ba9..de3a261a 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -125,19 +125,6 @@ are only partly read-in due to an error.")
 ;;; Utilities/macros used in several files  (proof-utils)
 ;;;
 
-(defun proof-string-to-list (s separator) 
-  "Return the list of words in S separated by SEPARATOR."
-  (let ((end-of-word-occurence (string-match (concat separator "+") s)))
-    (if (not end-of-word-occurence)
-        (if (string= s "") 
-            nil
-          (list s))
-      (cons (substring s 0 end-of-word-occurence) 
-            (proof-string-to-list 
-             (substring s
-                        (string-match (concat "[^" separator "]")
-                                      s end-of-word-occurence)) separator)))))
-
 (defun proof-define-keys (map kbl)
   "Adds keybindings KBL in MAP.
 The argument KBL is a list of tuples (k . f) where `k' is a keybinding
-- 
cgit v1.2.3