diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-04-27 23:03:41 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-04-27 23:03:41 +0200 |
commit | 5fc6e3a9e8fdd81be83194bbd62093993ddd4b01 (patch) | |
tree | b31140da215c96409103c4d6a0bbaa694132405e /theories/Lists | |
parent | 2887393cf817d0509caf7a2bb8f7850e2bc2d123 (diff) |
Improve syntax highlighting.
- Arithmetic operators and brackets are no longer recognized as bullets,
unless they follow a stop or start a line.
- Most vernacular commands are no longer highlighted when used inside
proof scripts.
- Coqdoc comments now take precedence over regular comments.
Diffstat (limited to 'theories/Lists')
0 files changed, 0 insertions, 0 deletions