diff options
| author | David Aspinall | 1999-11-18 15:25:40 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-18 15:25:40 +0000 |
| commit | fdd35d95d1e4b0c38ce40f6d4154fa23f75b64f2 (patch) | |
| tree | de3806797be92d315d17987bf399d0f8cf7002fe /html/features.phtml | |
| parent | 4bca25018e7f0b2996bd2a52c92a901f1546d1ba (diff) | |
Use new function proof-try-require instead of condition-case ...
Make switching on/off possibly more smooth by cleaning response buffer
and sending show proof command to proof assistant.
Also, when turning on/off run proof-x-symbol-mode in all buffers
in proof-xsym-extra-modes. Nice for Isabelle theories.
Diffstat (limited to 'html/features.phtml')
0 files changed, 0 insertions, 0 deletions