Update CHANGELOG for init scripts
commitc778c24934d1eda90fb39b2cf84749c1ebb3d04a
authorDavid Christiansen <david@davidchristiansen.dk>
dateFri 13 Sep 2013, 17:10 (13 years ago)
parent8125e03
CHANGELOG+1
@@ -8,6 +8,7 @@ New in 0.9.10:
88* At the REPL, "it" now refers to the previous expression
99* Semantic colouring at the REPL. Turn this off with --nocolour.
1010* Some prettifying of error message
11+* The contents of ~/.idris/repl/init are run at REPL start-up.
1112
1213Internal changes
1314