diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-18 13:33:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-18 13:33:36 +0000 |
commit | 944d1d1b55868c6e2a09f17fdd49f65bee092291 (patch) | |
tree | 5f1f2611ae13a316c94c815901283d485104387f /generic/proof-config.el | |
parent | db554de2757f9816a82cbf8d6eb0d83d1f519d26 (diff) |
Bug fix and adjustments in proof-response-buffer-display
Diffstat (limited to 'generic/proof-config.el')
0 files changed, 0 insertions, 0 deletions