@mattam82 mattam82 released this Jan 28, 2019 · 75 commits to 8.9 since this release

Release 1.2beta of Coq-Equations, see announcement here:

http://mattam82.github.io/Coq-Equations/equations/2019/01/28/1.2beta.html

Assets 2