diff options
author | 2002-07-16 23:11:42 +0000 | |
---|---|---|
committer | 2002-07-16 23:11:42 +0000 | |
commit | 0f4feea9ca0163946b2a971657b8e71c2931044d (patch) | |
tree | 8507aa084284960e2443c7ac693b8e524abb7d9f /demoisa | |
parent | 4dfaa3700086d0cb6c9d8518dac894e58fa7f7a9 (diff) |
Refactor several variable names; clean up, doc subterm markup and output display.
Diffstat (limited to 'demoisa')
-rw-r--r-- | demoisa/demoisa.el | 2 |
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 |