diff options
| author | gmelquio | 2010-12-14 13:44:13 +0000 |
|---|---|---|
| committer | gmelquio | 2010-12-14 13:44:13 +0000 |
| commit | ed39b35b780c1fac9eb110f303014683e6640c01 (patch) | |
| tree | a014575b204996d16f7bfc817920e0046d6e73a4 /plugins/syntax | |
| parent | 90ceeebb707149808061232a9c0e8b2d2bde0800 (diff) | |
Add improved indenters that rely on the current proof state to choose the indentation depth.
Patch by Cedric Auger.
These two indenters need to be exercised a bit to see if they are actually useful to users.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13715 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions