diff options
| author | David Aspinall | 2000-09-23 16:54:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-23 16:54:31 +0000 |
| commit | d218a7d0262594df0b831e541b46dc3be7f2a393 (patch) | |
| tree | ee9ff8cca68fcfa13e4c0b5d61283c5b78c8b645 /html/header.phtml | |
| parent | f7e819c7b8f8d09b59bd0f5bb8ed26fec58aaec9 (diff) | |
Removed:
X Improve efficiency for processing for large proofs (N/A)
D Enable toolbar in other PG buffers (done)
A Add Pierre's improvement for X-Symbol config (done)
A make C-c C-l go to bottom of response buffer while output (done)
B New keymap(s) for proof assistants. (done)
A Add efficiency improvement by turning on/off prover output. (done)
C Make the remaining options in the quick-opts-menu be more (done|N/A)
Diffstat (limited to 'html/header.phtml')
0 files changed, 0 insertions, 0 deletions