Updated CHANGES.txt

mmottl · Jul 16, 2012 · 343b500 · 343b500
1 parent f59ca85
commit 343b500
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGES.txt b/CHANGES.txt
@@ -1,3 +1,5 @@
+2012-07-15:  Rewrote README in Markdown.
+
 2012-05-31:  Fixed new OCaml 4.00 warnings.
 
 2012-03-28:  Changed representation of streams to provably satisfy