From f3c331b28eb79a08131df723444eb0ebfc7452c2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 21:49:20 +0000
Subject: Generalise proof elements to include comments, show/hiding of
 comments.

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

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 406d42a1..83e895a9 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -527,18 +527,6 @@ changed state."
 
 (defalias 'proof-toolbar-find 'proof-find-theorems)
 
-;;
-;; Show and hide buttons (not on toolbar)
-;;
- 
-(defun proof-toolbar-show-enable-p () t)
-(defalias 'proof-toolbar-show 'pg-show-all-proofs)
-
-(defun proof-toolbar-hide-enable-p () t)
-(defalias 'proof-toolbar-hide 'pg-hide-all-proofs)
-
-
-
 ;;
 ;; Interrupt button
 ;; 
-- 
cgit v1.2.3