CHANGELOG update for REPL history
commit36d05d1f56c016ad74e1d2ac3819a76c168405ea
authorDavid Christiansen <david@davidchristiansen.dk>
dateFri 13 Sep 2013, 17:36 (13 years ago)
parentda87313
CHANGELOG+1
@@ -9,6 +9,7 @@ New in 0.9.10:
99* Semantic colouring at the REPL. Turn this off with --nocolour.
1010* Some prettifying of error message
1111* The contents of ~/.idris/repl/init are run at REPL start-up.
12+* The REPL stores a command history in ~/.idris/repl/history
1213
1314Internal changes
1415