diff options
| author | Pierre Courtieu | 2015-11-30 18:51:12 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2015-11-30 18:51:12 +0100 |
| commit | b96a2c3ea17b90868f274586a5fad2639122a2ef (patch) | |
| tree | bbd09f9465a3b420c65cca324e22e0c58684aeec /isar/Example.thy | |
| parent | 2016f5f71f497bc7906c945b088ad93689ffd2bf (diff) | |
Speeding up indentation code (smie lexer).
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions