diff options
| author | David Aspinall | 2003-03-17 00:04:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-03-17 00:04:58 +0000 |
| commit | 86146ddd6edbcfb88bc54968114ec7c670fc688a (patch) | |
| tree | 5185d252471fd458a495caca0c044791d5cf1fbc /ChangeLog | |
| parent | fbdecea6fee6c74162e5f8f25f523284720404f7 (diff) | |
More tweaks so that (proof-ass x-symbol-enable) is pervasive.
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions