Home My Page Projects Gappa
Summary Activity Tracker SCM Files

Project Filelist for Gappa

File Release Notes and Changelog

Release Name: 1.4.0

Change Log
Version 1.4.0:
 - moved to Flocq 3.0 (incompatible with Coq < 8.7)