diff --git a/CHANGES_since_1.0 b/CHANGES_since_1.0
new file mode 100644
index 0000000..3bc74ee
--- /dev/null
+++ b/CHANGES_since_1.0
@@ -0,0 +1,5 @@
+1.0.1 - 20141111
+----------------
+ * Add note about support for GCNF to README
+ * Include .gcnf test files in distribution
+
diff --git a/VERSION b/VERSION
index 38f8e88..7dea76e 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-dev
+1.0.1
diff --git a/mkdist.sh b/mkdist.sh
index c1f331e..e6d3d72 100755
--- a/mkdist.sh
+++ b/mkdist.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # gather "whitelist" of files to include
-marco_files="*.py muser2-static README VERSION"
+marco_files="*.py muser2-static README CHANGES* VERSION"
 if [ $# -lt 2 -o "$2" != "notest" ] ; then
     test_files="tests/*.cnf tests/*.gcnf tests/*.smt2 tests/*.gz tests/*.py tests/out/*/*"
 fi