diff options
| author | David Aspinall | 2003-06-05 22:46:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-06-05 22:46:03 +0000 |
| commit | 7c16bb85e85720a3c15764895176fc41356dc897 (patch) | |
| tree | 2a961140ffb924f674f07ab3724a18e268bfb64a /html | |
| parent | 98998e82ff24e927c77b9b110fd32aeac49b2a39 (diff) | |
Remove proof-trace-output-fontify-enable (unused) in favour of proof-trace-output-slow-catchup
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions