From d4cfabfdc68a98734fc8fb945fa9113078dd97e9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 1 Oct 1999 11:46:59 +0000 Subject: Renamed some configuration variables for uniformity, see CHANGES. --- plastic/plastic.el | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'plastic') diff --git a/plastic/plastic.el b/plastic/plastic.el index 14f2b8f3..2c3e44ef 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -386,12 +386,12 @@ Given is the first SPAN which needs to be undone." (setq proof-assistant-home-page plastic-www-home-page) (setq proof-mode-for-script 'plastic-mode) - (setq proof-prf-string (concat plastic-lit-string " &S PrfCtxt") - proof-goal-command (concat plastic-lit-string " Claim %s;") - proof-save-command (concat plastic-lit-string " Save %s;") ;; analogue? - proof-ctxt-string (concat plastic-lit-string " &S Ctxt 20") + (setq proof-showproof-command (concat plastic-lit-string " &S PrfCtxt") + proof-goal-command (concat plastic-lit-string " Claim %s;") + proof-save-command (concat plastic-lit-string " Save %s;") ;; analogue? + proof-context-command (concat plastic-lit-string " &S Ctxt 20") ;; show 20 things; see ^c+C... - proof-help-string (concat plastic-lit-string " &S Help")) + proof-info-command (concat plastic-lit-string " &S Help")) (setq proof-goal-command-p 'plastic-goal-command-p proof-count-undos-fn 'plastic-count-undos -- cgit v1.2.3