diff options
| author | David Aspinall | 2009-09-04 17:24:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 17:24:38 +0000 |
| commit | ad77bc8aa58ada0da3389de52f3266fb287a9a02 (patch) | |
| tree | d2b5beb47c57c1f8591d46e655d838656eab0639 /generic/proof-shell.el | |
| parent | 8df41fe068be3fa3ea5d2b533215cc9678f03f4c (diff) | |
Disable fontification of input and output. Fix C-c C-c binding
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions