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 /doc/ProofGeneral.texi | |
| 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 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions