diff options
| author | David Aspinall | 1999-10-01 11:46:59 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-01 11:46:59 +0000 |
| commit | d4cfabfdc68a98734fc8fb945fa9113078dd97e9 (patch) | |
| tree | 3344743ccf26d29fc554b42dd05336bfd0fe4cd6 /plastic | |
| parent | 9985c079f54f45020bdd5582b120ad0283a99b60 (diff) | |
Renamed some configuration variables for uniformity, see CHANGES.
Diffstat (limited to 'plastic')
| -rw-r--r-- | plastic/plastic.el | 10 |
1 files changed, 5 insertions, 5 deletions
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 |