diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2015-03-26 16:20:30 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-26 16:20:30 +0000 |
commit | f9663fdac4e0204b535abb9a6ff509e5717a82a0 (patch) | |
tree | 1736dfbe78ab4b0e3e73144400b3dca0117bf9b0 /lib/texi-docstring-magic.el | |
parent | 3f206f8658bd5fabe6726a39c0fa0c9405fcca8d (diff) |
Fixed a smal bug in colorizing response buffer.
First constructor of an inductive was colorized as a hyp name.
Hyp name colorizing should be done another way. Using font-lock here
is probably bad.
Diffstat (limited to 'lib/texi-docstring-magic.el')
0 files changed, 0 insertions, 0 deletions