diff options
| author | Pierre Courtieu | 2006-09-06 09:41:12 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-06 09:41:12 +0000 |
| commit | cef854b93888b79d08b0410cc0600b53c9790d28 (patch) | |
| tree | 19aee76b965498e9e8d5b160b2dc7caca6811622 /isa/Example.thy | |
| parent | 07088a47b162ebc8b46acb53d0fc3b4e0e9d1dc6 (diff) | |
Making error highlighting more robust (for both emacsen) and use a
span instead of region.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions