Update CHANGELOG for semantic highlights
commit8bc867dfa111ea8ba827cba6787da18efb6f84e4
authorDavid Christiansen <david@davidchristiansen.dk>
dateTue 12 May 2015, 13:09 (11 years ago)
parent591556a
CHANGELOG+1
@@ -48,6 +48,7 @@ New in 0.9.18:
4848* The desugaring of if ... then ... else ... has been renamed to ifThenElse from
4949 boolElim. This is for consistency with GHC Haskell and scala-virtualized, and
5050 to reflect that if-notation makes sense with non-Bool datatypes.
51+* Agda-style semantic highlighting is supported over the IDE protocol.
5152
5253
5354New in 0.9.17: