@@ -48,6 +48,7 @@ New in 0.9.18:
48* The desugaring of if ... then ... else ... has been renamed to ifThenElse from
48* The desugaring of if ... then ... else ... has been renamed to ifThenElse from
49 boolElim. This is for consistency with GHC Haskell and scala-virtualized, and
49 boolElim. This is for consistency with GHC Haskell and scala-virtualized, and
50 to reflect that if-notation makes sense with non-Bool datatypes.
50 to reflect that if-notation makes sense with non-Bool datatypes.
51+* Agda-style semantic highlighting is supported over the IDE protocol.
53New in 0.9.17:
54New in 0.9.17: