]>
2013-04-30 | Andrea Asperti | New notation for congruence | blob | commitdiff | raw |
2013-01-05 | Andrea Asperti | Ported permutation.ma and fermat_little_theorem.ma | blob | commitdiff | raw | diff to current |
2011-11-21 | Claudio Sacerdoti... | {pattern} => in pattern; | blob | commitdiff | raw | diff to current |
2011-11-18 | Claudio Sacerdoti... | * Almost ready for release 0.99.1. | blob | commitdiff | raw | diff to current |
2010-12-23 | Andrea Asperti | progress | 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 |