diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-29 16:12:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-29 16:12:51 +0000 |
| commit | 8eccb1871f63583d3235b8e619629adfad40e2f9 (patch) | |
| tree | de7d0c5ba7f7c8cae28d3371014e9985a61ae055 /generic/proof.el | |
| parent | 3e240faf5383f2d717535c3043537e1cf6587791 (diff) | |
Re-enabled proof-by-pointing for testing purposes only. Fixed a bug.
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions