diff options
| author | Pierre Courtieu | 2012-06-28 16:10:43 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-06-28 16:10:43 +0000 |
| commit | 8ee46969bf68ebb3dc5e18ccc64a3d0f6e018f14 (patch) | |
| tree | 5b6ed98c8520b90ee2ba251316de033b96328de2 /generic | |
| parent | de7919ddc8ca3b365667061c10ff5f3442418bfa (diff) | |
Complete rework of the indentation mechanism using smie. The first
version of smie indentation code was a good first try but this one is
much faster and cleaner. All desambiguations are done in the lexers,
it is still a bit slow on large proofs. Some bugs remain to be fixed.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions