@@ -6,6 +6,7 @@ New in 0.9.10:
6* Add 'quoteGoal x by p in e' which makes x equal to p applied to the goal
6* Add 'quoteGoal x by p in e' which makes x equal to p applied to the goal
7 in the scope e
7 in the scope e
8* At the REPL, "it" now refers to the previous expression
8* At the REPL, "it" now refers to the previous expression
9+* Semantic colouring at the REPL. Turn this off with --nocolour.
10Internal changes
11Internal changes