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