Add :apropos to CHANGELOG
commit6f0ef2f3ee139e3254318e175c1c439ee0e7a140
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 18 Mar 2014, 10:58 (13 years ago)
parent1921424
CHANGELOG+1
@@ -20,6 +20,7 @@ New in 0.9.12:
2020* Allow the auto-solve behavior in the prover to be disabled, for easier debugging
2121 of proof automation. Use ":set autosolve" and ":unset autosolve".
2222* Updated 'effects' library
23+* New :apropos command at REPL to search documentation, names, and types
2324
2425New in 0.9.11:
2526--------------