diff options
| author | David Aspinall | 2009-10-15 22:45:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-10-15 22:45:52 +0000 |
| commit | e168a54b3a34ac1de01b0f4b1f8658bc784ec825 (patch) | |
| tree | e697747f0f6742d8d98faced36e33fa2bc97e254 /generic/proof-script.el | |
| parent | f819d9dfd40516abf89b593501af52126ad767f9 (diff) | |
Keep response and trace buffer read-only, except when changing
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions