@@ -14,6 +14,10 @@ New in 0.9.11:
1414 strings that it emits, which can be used by clients to implement
1515 semantic highlighting like that of the REPL. This has been implemented
1616 in the Emacs mode and the IRC bot, which can serve as examples.
17+* New expression form: with NAME EXPR privileges the namespace NAME
18+ when disambiguating overloaded names. For example, it is possible to
19+ write "with Vect [1,2,3]" at the REPL instead of "the (Vect _ _) [1,2,3]",
20+ because the Vect constructors are defined in a namespace called Vect.
1721
1822Internal changes
1923