diff options
| author | David Aspinall | 1999-11-09 17:52:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-09 17:52:13 +0000 |
| commit | 6d3efada895352ba759df3cd1b7378fe1a34c330 (patch) | |
| tree | 1b2f3930c500554b8668a5ed9798025756931944 /html/functions.php3 | |
| parent | cf98c96512379125e2eafd4188ceaf62f5e54fd0 (diff) | |
Bug again in call-interactively in proof-toggle-active-scripting.
Turn on proof-x-symbol mode in proof script mode.
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions