Home My Page Projects Coquelicot
Summary Activity Lists SCM Files

Project Filelist for Coquelicot

File Release Notes and Changelog

Release Name: 2.0.0

Change Log
Version 2.0:
- removed "is_derive" as a notation for "derivable_pt_lim"
- renamed some compatibility theorems from "_equiv" to "_Reals"
- introduced a hierarchy of number structures and topological spaces
- added complex numbers
- generalized "is_RInt", "is_derive", "is_domin", etc, from reals to arbitrary left-modules