Add Elab shell to CHANGELOG
commit4ad843182074360ec079cb63f5fb906d1b6c5828
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 9 Jun 2015, 17:23 (11 years ago)
parent54cd5a6
CHANGELOG+2
@@ -12,6 +12,8 @@ New in 0.9.19:
1212* Compiler output shows applications of >>= in do-notation
1313* fromInteger i where i is an integer constant is now shown just as i in
1414 compiler output
15+* An interactive shell, similar to the prover, for running reflected elaborator
16+ actions. Access it with :elab from the REPL.
1517
1618New in 0.9.18:
1719--------------