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 /generic | |
| 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 'generic')
0 files changed, 0 insertions, 0 deletions