Home My Page Projects Flocq
Summary Activity Tracker News SCM Files

Project Filelist for Flocq

File Release Notes and Changelog

Release Name: 2.5.2

Change Log
Version 2.5.2:
 - ensured compatibility from Coq 8.4 to 8.6