@@ -10,11 +10,16 @@ New in 0.9.11:
1010* General improvements in error messages, especially %error_reverse
1111 annotation, which allows a hint as to how to display a term in error
1212 messages
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.
1317
1418Internal changes
1519
1620* Faster elaboration
1721* Smaller .ibc files
22+* Pretty-printer now used for all term output
1823
1924
2025New in 0.9.10: