diff options
| author | David Aspinall | 2009-09-08 12:56:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-08 12:56:01 +0000 |
| commit | a1504b5425d562a993a3833b673faa7444d35dc6 (patch) | |
| tree | 0a3b6d994769f3486a570272fd99b3f47b8e4d33 /lib/pg-dev.el | |
| parent | 921bde1e012be1a11c7e2be3806627b93342e286 (diff) | |
Repair two-window working mode for when Coq doesn't produce hybrid output.
Print Proof -> just Print in context menu.
Temporarily inhibit read only in response buffer for error highlighting.
Reduce time for error highlighting
Diffstat (limited to 'lib/pg-dev.el')
0 files changed, 0 insertions, 0 deletions