@@ -22,6 +22,7 @@ Internal changes
2222* Improved type class resolution
2323* Compiling Nat via GMP integers
2424* Performance improvements in elaboration
25+* Machinery for case-splitting, to support interactive editing
2526
2627New in 0.9.9:
2728-------------