@@ -10,11 +10,16 @@ New in 0.9.11:
10* General improvements in error messages, especially %error_reverse
10* General improvements in error messages, especially %error_reverse
11 annotation, which allows a hint as to how to display a term in error
11 annotation, which allows a hint as to how to display a term in error
13+* --ideslave mode now transmits semantic information about many of the
14+ strings that it emits, which can be used by clients to implement
15+ semantic highlighting like that of the REPL. This has been implemented
16+ in the Emacs mode and the IRC bot, which can serve as examples.
14Internal changes
18Internal changes
16* Faster elaboration
20* Faster elaboration
17* Smaller .ibc files
21* Smaller .ibc files
22+* Pretty-printer now used for all term output
20New in 0.9.10:
25New in 0.9.10: