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