AERN-Real-Double-2011.1.0.2: CHANGES

2011.1.0.2: 11th May 2011
    * fixed some dependencies
2011.1.0.1: 11th May 2011
    * minor update of dependencies and documentation to reflect inability to build with ghc 7.0.*
2011.1: 6th May 2011
    * initial release of AERN-Real-Double