diff options
| author | David Aspinall | 2010-10-01 15:11:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-01 15:11:54 +0000 |
| commit | 62fb902e33e4e59a974bfb976f45b4648320d4e8 (patch) | |
| tree | 3151df2d425553e102547a0eb96d9cf4550315fa /lib | |
| parent | 1604db92ae0d21b58caafb481aef73570056a122 (diff) | |
coq-allow-highlight-error: remove this setting, now proof-shell-error-or-interrupt-hook is only invoked for plain script commands.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions