Home My Page Projects Gappa
Summary Activity Tracker SCM Files

Project Filelist for Gappa

File Release Notes and Changelog

Release Name: 0.13.0

Change Log
Version 0.13.0:
 * Coq lambda back-end
   - simplified generated proofs
 * proof graph
   - disabled sequent generation
   - disabled proof tracking for the null back-end
   - improved handling of deep logic negations
   - handled disjunctions by dichotomies (null back-end only)
 * main interface
   - removed option -Monly-failure since there is only one proposition
 * documentation
   - switched from jade to dblatex