diff options
| author | Pierre Courtieu | 2006-09-05 08:56:12 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-05 08:56:12 +0000 |
| commit | e76f14da4b7e737a5b6f5321c02127256d0b65df (patch) | |
| tree | ba994bfc074849ed10d1cb223c0d895c90935dd1 /isa/Example.thy | |
| parent | 6b0a6e834384ad2ac05e8e938e88180a464f3313 (diff) | |
Experimenting highlighting the error from coqtop error
message. Function work but proof-shell-handle-error-or-interrupt-hook
does not allow to activate the region...
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions