add changelog

bollu · Nov 14, 2018 · 6d411d8 · 6d411d8
1 parent bc470bf
commit 6d411d8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,11 +1,14 @@
 SCEV-coq
 =========
 
+
 This is an implementation of the scalar evolution theory in Coq. In particular,
 it implements the math behind the "chains of recurrences" paper.
 
 ## Core types
 
+# Changelog
+- `v1.0` first release
 
 ## References