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-config.el | 2 --
 1 file changed, 2 deletions(-)

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index f88ac91c..9e85b866 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -722,8 +722,6 @@ If a function, it should return the command string to insert."
 		proof-find-theorems-command)
     (command    "Issue Command"	      "Issue a non-scripting command" t)
     (interrupt  "Interrupt Prover"    "Interrupt the proof assistant (warning: may break synchronization)" t)
-    (show       "Show Proofs"         nil t)
-    (hide       "Hide Proofs"	      nil t)
     (info	nil		      "Show online proof assistant information" t
 		proof-info-command)
     (help	nil		      "Proof General manual" t))
-- 
cgit v1.2.3