Home My Page Projects Coquelicot
Summary Activity Lists SCM Files

Project Filelist for Coquelicot

File Release Notes and Changelog

Release Name: 2.1.2

Change Log
Version 2.1.2:
- fixed compilation with Coq 8.6; minimal version is now 8.5