diff options
| author | David Aspinall | 2000-04-25 12:04:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-25 12:04:08 +0000 |
| commit | 3d24958fe1b4db950e5f4cb45ca5db122a84f62b (patch) | |
| tree | 565d34b20ca0e12f4c1a336a8a8e5ffde712533b /generic/proof-syntax.el | |
| parent | 77a02fbecc93f93e54bcd295c9d74b35e1c01473 (diff) | |
Note about efficiency/bug fix by Markus.
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions