aboutsummaryrefslogtreecommitdiffhomepage
path: root/demoisa
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-07-16 23:11:42 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-07-16 23:11:42 +0000
commit0f4feea9ca0163946b2a971657b8e71c2931044d (patch)
tree8507aa084284960e2443c7ac693b8e524abb7d9f /demoisa
parent4dfaa3700086d0cb6c9d8518dac894e58fa7f7a9 (diff)
Refactor several variable names; clean up, doc subterm markup and output display.
Diffstat (limited to 'demoisa')
-rw-r--r--demoisa/demoisa.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/demoisa/demoisa.el b/demoisa/demoisa.el
index 1740a100..e9a3908d 100644
--- a/demoisa/demoisa.el
+++ b/demoisa/demoisa.el
@@ -135,7 +135,7 @@
;; 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