Add --highlight to CHANGELOG
commit0280b22abb8250e9731fe9782802414b48ae843b
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 23 Jun 2015, 12:53 (11 years ago)
parentac68541
CHANGELOG+4
@@ -14,6 +14,10 @@ New in 0.9.19:
1414 compiler output
1515* An interactive shell, similar to the prover, for running reflected elaborator
1616 actions. Access it with :elab from the REPL.
17+* New command-line option --highlight that causes Idris to save highlighting
18+ information when successfully type checking. The information is in the same
19+ format sent by the IDE mode, and is saved in a file with the extension ".idh".
20+
1721
1822New in 0.9.18:
1923--------------