diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-27 12:39:39 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-27 12:39:39 +0000 |
commit | 353186f0f51cc26235ea73a7a2895307636dece8 (patch) | |
tree | 9b9c23e1c75fcb3d2d93d803ed49ea69b52c3627 /generic | |
parent | 102b133125127681f25d82fbee42d1dd427a59cd (diff) |
Conventions
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index d4a5532f..ae461828 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -201,7 +201,7 @@ If in three window or multiple frame mode, display both buffers." '(["Trace" (proof-switch-to-buffer proof-trace-buffer) :active (buffer-live-p proof-trace-buffer)]) - '(["Clear responses" + '(["Clear Responses" (pg-response-clear-displays) t]))) "Proof General buffer menu.") |