projects / helm.git / history
| 2011-12-12 | Claudio Sacerdoti... | Some integrations from CerCo. In particular: | blob | commitdiff | raw |
| 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 |
| 2011-11-16 | Claudio Sacerdoti... | Non working parts of the library commented out. | 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 |
| 2010-12-06 | Andrea Asperti | some progress | blob | commitdiff | raw | diff to current |
| 2010-11-22 | Andrea Asperti | Some arithmetics. | blob | commitdiff | raw | diff to current |