diff options
| author | Pierre Courtieu | 2006-09-14 08:27:43 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-14 08:27:43 +0000 |
| commit | a3f65f4af6c5138908b88a0ea8a4410775c832de (patch) | |
| tree | 73ff4d147794d3475457dc866e58f6203a0c57b1 /isa/Example.thy | |
| parent | a6c3b3e4023c6d870b2d6076445c42bb0b313187 (diff) | |
fix a bug with error highlighting. Not sure it is ok but seems to
work.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions