@@ -21,6 +21,7 @@ New in 0.9.12:
2121 of proof automation. Use ":set autosolve" and ":unset autosolve".
2222* Updated 'effects' library
2323* New :apropos command at REPL to search documentation, names, and types
24+* Unification errors are now slightly more informative
2425
2526New in 0.9.11:
2627--------------