Home My Page Projects Coquelicot
Summary Activity Lists SCM Files

Project Filelist for Coquelicot

File Release Notes and Changelog

Release Name: 3.0.0

Change Log
Version 3.0.0:
- generalized "RInt" to "CompleteNormedModule"
- added "filterlimi" to express limits of implicitly-defined functions
- made "is_RInt_gen" similar to other limits and defined "RInt_gen"