diff options
| author | Pierre Courtieu | 2006-09-04 11:50:55 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-04 11:50:55 +0000 |
| commit | 6b0a6e834384ad2ac05e8e938e88180a464f3313 (patch) | |
| tree | beaf75af29d192f93c17bece031bb3e22598ba73 /isa/Example.thy | |
| parent | 76873436829da491cf0bd6e4e54c0269e3cc3dc4 (diff) | |
Trying to mae indentation aware of nested comments (to be simplified
when xemacs will deal with nested comments). Seems to work, a bit
slow.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions