@@ -14,6 +14,10 @@ New in 0.9.11:
14 strings that it emits, which can be used by clients to implement
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
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.
16 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.
18Internal changes
22Internal changes