Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited.

1 files changed, 0 insertions, 13 deletions

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