diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-05-18 15:47:57 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-05-18 15:48:07 +0200 |
commit | c3a62d51d13788a650fc13e89a1b6f000ba1f378 (patch) | |
tree | 628e5fd40fde3d0174a2c4f1af49e37a747344d2 | |
parent | 5b66cfdae503a10b724c111f35ceb001a705a95d (diff) |
Fixed CHANGES to reflect -color option.
-rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -418,7 +418,7 @@ Interfaces - Many CoqIDE windows, including the query one, are now detachable to improve usability on multi screen work stations. -- Coqtop outputs highlighted syntax. Colors can be configured thanks +- Coqtop/coqc outputs highlighted syntax. Colors can be configured thanks to the COQ_COLORS environment variable, and their current state can be displayed with the -list-tags command line option. |