Home My Page Projects Gappa
Summary Activity Tracker SCM Files

Project Filelist for Gappa

File Release Notes and Changelog

Release Name: 0.20.0

Change Log
Version 0.20.0:
 - moved to Coq 8.4