Version 0.1.0

Signed-off-by: Austin Seipp <[email protected]>
thoughtpolice · Apr 26, 2014 · a54d000 · a54d000
1 parent 48fd859
commit a54d000
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,4 @@
-0.1.0 - Not yet released
+0.1.0 - Released April 26th, 2014
 ------------------------
 
   * Preliminary Cryptol 2 support (issue #15). Cryptol 1 is still