Hackage :: [Package]

Changelog for AERN-Real-Double-2011.1

2011.1: 6th May 2011 * initial release of AERN-Real-Double