AERN-Real-Double-2011.1: CHANGES

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