diff options
| author | Arnaud Spiwack | 2015-03-19 11:29:29 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-03-31 11:28:18 +0200 |
| commit | 65d701a752d9edc2d48256413b6176fa4687554d (patch) | |
| tree | f21ef84dd02471de1223c5b32606b8e8154e9671 /plugins/syntax | |
| parent | a615382472ee21e288bd7115be147415e465e897 (diff) | |
Declarative mode: fix vernac classification.
So that the commands are assigned the appropriate status of syntax-changing or not, as well as the proof mode they are setting.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions