Home My Page Projects Gappa
Summary Activity Tracker SCM Files

Project Filelist for Gappa

File Release Notes and Changelog

Release Name: 0.14.0

Change Log
Version 0.14.0:
 * Coq back-end
   - added support for Coq support library 0.14