summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--AERN-Basics.cabal4178logplain
-rw-r--r--CHANGES183logplain
-rw-r--r--LICENCE1462logplain
-rw-r--r--Setup.lhs76logplain
d---------src34logplain
d---------tools48logplain