Update CHANGELOG for colours in REPL
commitbd70f22325b3f415d5bd751d3d3d0ed3e0e0605a
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 4 Sep 2013, 17:30 (13 years ago)
parentfddebca
CHANGELOG+1
@@ -6,6 +6,7 @@ New in 0.9.10:
66* Add 'quoteGoal x by p in e' which makes x equal to p applied to the goal
77 in the scope e
88* At the REPL, "it" now refers to the previous expression
9+* Semantic colouring at the REPL. Turn this off with --nocolour.
910
1011Internal changes
1112