]>
2013-05-31 | Andrea Asperti | bounded quantifiers and pidgeon_hole | blob | commitdiff | raw |
2013-01-03 | Andrea Asperti | Chebishev ported | blob | commitdiff | raw | diff to current |
2012-12-17 | Andrea Asperti | Still porting chebyshev | blob | commitdiff | raw | diff to current |
2012-12-10 | Andrea Asperti | Porting chebyshev | blob | commitdiff | raw | diff to current |
2010-12-16 | Andrea Asperti | New version of the library. Several files still do... | blob | commitdiff | raw | diff to current |