]>
2011-12-12 | Claudio Sacerdoti... | Some integrations from CerCo. In particular: | blob | commitdiff | raw |
2011-12-12 | Claudio Sacerdoti... | Parentheses are now needed. I do not know why and when... | blob | commitdiff | raw | diff to current |
2011-11-18 | Claudio Sacerdoti... | * Almost ready for release 0.99.1. | blob | commitdiff | raw | diff to current |
2011-10-28 | Andrea Asperti | Some qed- | blob | commitdiff | raw | diff to current |
2011-10-21 | Andrea Asperti | Optimization. Check removed. | blob | commitdiff | raw | diff to current |
2011-06-06 | Claudio Sacerdoti... | Minor changes because of the new, weaker (but much... | 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 |