diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 01:11:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 01:11:09 +0000 |
| commit | ddff38d0da1c2bc3701ddf9556aca15b30cd5f82 (patch) | |
| tree | 3c91bc73d69b5c1d67dde2ccb20ee2fd633a0e53 /etc/ProofGeneral.patch | |
| parent | 8a9f2935855bd9ce9e769f5bbd15455fa719b765 (diff) | |
Fixes for response buffer display, x-symbol, output formatting.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions