@@ -12,6 +12,9 @@ New in 0.9.16:
1212 error.
1313* Better Unicode support for the JavaScript/Node codegen
1414
15+* Several long-standing issues resolved, particularly with pattern matching
16+ and coverage checking.
17+
1518New in 0.9.15:
1619--------------
1720* Two new tactics: skip and fail. Skip does nothing, and fail takes a string