Home My Page Projects Gappa
Summary Activity Tracker SCM Files

Project Filelist for Gappa

File Release Notes and Changelog

Release Name: 1.3.3

Change Log
Version 1.3.3:
 * Coq back-end
   - prepared for Flocq 3.0
 * build system
   - fixed some STL debug failures