@@ -14,6 +14,10 @@ New in 0.9.19:
14 compiler output
14 compiler output
15* An interactive shell, similar to the prover, for running reflected elaborator
15* An interactive shell, similar to the prover, for running reflected elaborator
16 actions. Access it with :elab from the REPL.
16 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".
18New in 0.9.18:
22New in 0.9.18:
19--------------
23--------------