@@ -9,6 +9,7 @@ New in 0.9.10:
9* Semantic colouring at the REPL. Turn this off with --nocolour.
9* Semantic colouring at the REPL. Turn this off with --nocolour.
10* Some prettifying of error message
10* Some prettifying of error message
11* The contents of ~/.idris/repl/init are run at REPL start-up.
11* The contents of ~/.idris/repl/init are run at REPL start-up.
12+* The REPL stores a command history in ~/.idris/repl/history
13Internal changes
14Internal changes