diff options
| author | David Aspinall | 2009-09-09 23:04:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-09 23:04:16 +0000 |
| commit | 0c7ee8ef40ac47b95a6f0010024e77029eb99d40 (patch) | |
| tree | e2d6554813366ee180c4d7cf8c5037e6c7a07984 /generic/proof-script.el | |
| parent | 89ec8b4c594135ab2ccc7bb3105a81fd3d4672be (diff) | |
Clear shell buffer contents on restart.
proof-shell-classify-output-system-specific -> proof-shell-handle...
and simplify system specific hook.
Repair error handling for Isabelle (search forward for matches)
Add proof-shell-font-lock-keywords.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions