AERN-Real-Interval-2011.1: CHANGES

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