Home My Page Projects Gappa
Summary Activity Tracker SCM Files

Project Filelist for Gappa

File Release Notes and Changelog

Release Name: 1.0.0

Change Log
Version 1.0.0:
 - added support for Gappa 1.0.0
 - fixed invalid identifiers being sent to Gappa
 - fixed broken generalization of terms
 - added support for negation, disjunction, and implication
 - allowed half-bounded intervals
 - proved tree simplification