@@ -20,6 +20,7 @@ New in 0.9.12:
20* Allow the auto-solve behavior in the prover to be disabled, for easier debugging
20* Allow the auto-solve behavior in the prover to be disabled, for easier debugging
21 of proof automation. Use ":set autosolve" and ":unset autosolve".
21 of proof automation. Use ":set autosolve" and ":unset autosolve".
22* Updated 'effects' library
22* Updated 'effects' library
23+* New :apropos command at REPL to search documentation, names, and types
24New in 0.9.11:
25New in 0.9.11:
25--------------
26--------------