diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-01-03 21:58:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-01-03 21:58:27 +0000 |
| commit | 3022b60aa7a4d19f52829a2957c1f28dc9f3f1f4 (patch) | |
| tree | 0469fde67bbd914176c739c37f6b5f1033edfa67 /etc/ProofGeneral.spec | |
| parent | 5b239459625b6c51b65c1a0b487edf49425469c1 (diff) | |
Demonstrate faulty error reporting. Somewhat obscure, unless some
tactics are using Output.error_msg rather than the "error" function.
Diffstat (limited to 'etc/ProofGeneral.spec')
0 files changed, 0 insertions, 0 deletions