summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--AERN-Real-Interval.cabal2984logplain
-rw-r--r--CHANGES190logplain
-rw-r--r--LICENCE1462logplain
-rw-r--r--Setup.hs46logplain
d---------src34logplain