Skip to content

Commit

Permalink
changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
@damien-pous
damien-pous committed Feb 27, 2020
1 parent dca7b8c commit 2b9c1d8
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions CHANGELOG
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
== RelationAlgebra 1.7.2 (2020, February 27th) ==

- compatibility with Coq 8.10

== RelationAlgebra 1.7.1 (2019, February 8th) ==

- compatibility with Coq 8.9
Expand Down

0 comments on commit 2b9c1d8

Please sign in to comment.