diff options
author | Hendrik Tews <hendrik@askra.de> | 2017-02-27 14:49:11 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2017-02-27 14:49:11 +0100 |
commit | a424cf37d41c7d9c7443132a385b89f3947bc708 (patch) | |
tree | dce2d9176cacb4417fa7434e16e1935919e7b2e0 /CHANGES | |
parent | bbc55fe1a69c9e44d2df86b447603e7972c6d238 (diff) |
serveral coqtags fixes and improvements
- precise tags for definitions
- fix bug with nonempty white space lines
- add several keywords (Proposition, Record, ...)
- generate tags for constructors of inductive definitions
and for record labels
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions