From a0a585f41b571faf00a3a94393539e478d2bc667 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 May 2000 15:55:35 +0000
Subject: Moved utility functions to proof-utils.

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

(limited to 'generic/proof-menu.el')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 3552835f..4710ecaa 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -108,36 +108,6 @@
 		  (proof-ass help-menu-entries))))))))
     
 
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;;
-;;; Contents of the generic menus
-;;;
-
-
-(defun proof-deftoggle-fn (var &optional othername)
-  "Define a function <VAR>-toggle for toggling a boolean customize setting VAR.
-The toggle function uses customize-set-variable to change the variable.
-OTHERNAME gives an alternative name than the default <VAR>-toggle."
-  (eval
-   `(defun ,(if othername othername 
-	      (intern (concat (symbol-name var) "-toggle"))) (arg)
-	      ,(concat "Toggle `" (symbol-name var) "'. With ARG, turn on iff ARG>0.
-This function simply uses customize-set-variable to set the variable.
-It was constructed with `proof-customize-toggle-fn'.")
-	      (interactive "P")
-	      (customize-set-variable 
-	       (quote ,var)
-	       (if (null arg) (not ,var)
-		 (> (prefix-numeric-value arg) 0))))))
-
-;;;###autoload
-(defmacro proof-deftoggle (var &optional othername)
-  "Define a function VAR-toggle for toggling a boolean customize setting VAR.
-VAR, OTHERNAME are not evaluated.  
-The function is defined with `proof-customize-toggle-fn', which see."
-  `(proof-deftoggle-fn (quote ,var) (quote ,othername)))
-
-
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; Contents of the generic menus
-- 
cgit v1.2.3