Home My Page Projects Flocq
Summary Activity Tracker News SCM Files

Project Filelist for Flocq

File Release Notes and Changelog

Release Name: 2.5.1

Change Log
Version 2.5.1:
 - ensured compatibility with both Coq 8.4 and 8.5