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
![]() |
Log In New Account |
Home | My Page | Projects | Gappa |
Version 0.14.0: * Coq back-end - added support for Coq support library 0.14