diff options
| author | David Aspinall | 1999-11-18 15:12:14 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-18 15:12:14 +0000 |
| commit | 8ee9c7f337e0330f288b9973625bd21e014da22b (patch) | |
| tree | 79065fb10e5142724417d1e825105c451378cb27 /generic/proof-script.el | |
| parent | 5bc59344abc481348097f673f75f60e1727b84ed (diff) | |
Moved response buffer code here.
Moved -output-fontify-toggle away.
Made proof-switch-to-buffer more robust
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions