From 275d38ca5a77ae960504ce9af55d4c0cdf9174d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 1 Oct 1999 18:36:01 +0000
Subject: Fixup name changes

---
 generic/proof-config.el | 2 +-
 generic/proof-script.el | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 2a563855..72c6d3cc 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -447,7 +447,7 @@ command line options.  For an example, see coq/coq.el."
   :type 'string
   :group 'prover-config)
 
-(defcustom proof-proof-command ""
+(defcustom proof-showproof-command ""
   "Command to display proof state in proof assistant."
   :type 'string
   :group 'prover-config)
diff --git a/generic/proof-script.el b/generic/proof-script.el
index a3f0498e..231368cb 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1510,7 +1510,7 @@ Start up the proof assistant if necessary."
 
 (proof-define-assistant-command proof-prf  
   "Show the current proof state."
-  proof-proof-command)
+  proof-showproof-command)
 (proof-define-assistant-command proof-ctxt 
   "Show the current context."
   proof-context-command)
-- 
cgit v1.2.3