diff options
| author | David Aspinall | 2010-08-17 13:04:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-17 13:04:29 +0000 |
| commit | 1cd3dfd1e316b006b20f8976e58901466e4cf7ae (patch) | |
| tree | 5602820c6bdf9af488c7770215440c918a19809f /generic/proof-shell.el | |
| parent | 19e93a599f07ace57ec42310db830d2ecec2dbbf (diff) | |
Note about fix required to proof-autosend-error-point
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions