diff options
| author | Pierre-Marie Pédrot | 2014-11-17 11:05:13 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-11-17 11:05:13 +0100 |
| commit | efaf5563feed02a0896f33b07e21c2e9797b83ed (patch) | |
| tree | ca27890ef800b96ac9958a2ce267d3d51c16d437 /CHANGES | |
| parent | 462b733b2df486dbf123638418159ef8c4ee93a2 (diff) | |
Documenting use of colors in Coq.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -271,6 +271,9 @@ Interfaces - CoqIDE uses the new STM machinery, allowing for asynchronous edition. - CoqIDE highlight in yellow "unsafe" commands such as axiom declarations, and tactics like "admit". +- Coqtop 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. Internal Infrastructure |