History.txt in patternmatching-0.1.2 vs History.txt in patternmatching-0.1.3

@@ -1,4 +1,9 @@
+== 0.1.3 2007-06-05
+
+* 1 minor enhancement:
+  * Document refinement
+
 == 0.1.2 2007-06-04
 
 * 1 minor enhancement:
   * Reupdate