@@ -17,7 +17,9 @@ New in 0.9.19:
1717* New command-line option --highlight that causes Idris to save highlighting
1818 information when successfully type checking. The information is in the same
1919 format sent by the IDE mode, and is saved in a file with the extension ".idh".
20−* Use predicates instead of boolean equality proofs as preconditions
20+* Highlighting information is saved by the parser as well, allowing it to highlight
21+ keywords like "case", "of", "let", and "do"
22+* Use predicates instead of boolean equality proofs as preconditions
2123 on List functions
2224* More flexible 'case' construct, allowing each branch to target different
2325 types, provided that the case analysis does not affect the form of any