diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-16 23:11:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-16 23:11:42 +0000 |
| commit | 0f4feea9ca0163946b2a971657b8e71c2931044d (patch) | |
| tree | 8507aa084284960e2443c7ac693b8e524abb7d9f /phox | |
| parent | 4dfaa3700086d0cb6c9d8518dac894e58fa7f7a9 (diff) | |
Refactor several variable names; clean up, doc subterm markup and output display.
Diffstat (limited to 'phox')
| -rw-r--r-- | phox/phox.el | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/phox/phox.el b/phox/phox.el index 88396b5b..c7d11ba6 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -152,12 +152,12 @@ proof-shell-quit-cmd "quit." proof-shell-restart-cmd "restart." proof-shell-proof-completed-regexp "^.*^proved" - ;; proof-shell-first-special-char ?\371 + ;; pg-subterm-first-special-char ?\371 ;; proof-shell-wakeup-char ?\371 - ;; proof-shell-start-char ?\371 - ;; proof-shell-end-char ?\372 - ;; proof-shell-goal-char ?\373 - ;; proof-shell-field-char ?\374 + ;; pg-subterm-start-char ?\371 + ;; pg-subterm-sep-char ?\372 + ;; pg-topterm-char ?\373 + ;; pg-subterm-end-char ?\374 ;; proof-shell-eager-annotation-start "\376" ;; proof-shell-eager-annotation-start-length 1 ;; proof-shell-eager-annotation-end "\377" @@ -215,12 +215,12 @@ font-lock-keywords phox-font-lock-keywords proof-output-fontify-enable t) (phox-sym-lock-start) - (add-hook 'proof-before-fontify-output-hook 'phox-sym-lock-font-lock-hook) + (add-hook 'pg-before-fontify-output-hook 'phox-sym-lock-font-lock-hook) (proof-goals-config-done)) ;; The response buffer and goals buffer modes defined above are ;; trivial. In fact, we don't need to define them at all -- they -;; would simply default to "proof-response-mode" and "pbp-mode". +;; would simply default to "proof-response-mode" and "pg-goals-mode". ;; A more sophisticated instantiation might set font-lock-keywords to ;; add highlighting, or some of the proof by pointing markup |