diff options
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 |