Update Changes file

xavierleroy · Jul 15, 2017 · e2b9409 · e2b9409
1 parent 52da610
commit e2b9409
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Changes b/Changes
@@ -1,2 +1,3 @@
-Initial import, 2017-07-07
+Version 1.0, 2017-07-15  [for Coq 8.6]
 - Reused from the CompCert distribution, revised, and extended.
+- First standalone release.