projects / helm.git / history
| 2017-12-28 | Claudio Sacerdoti... | .depend{.opt} files changed | blob | commitdiff | raw |
| 2014-12-01 | Ferruccio Guidi | dependences update | blob | commitdiff | raw | diff to current |
| 2012-01-07 | Ferruccio Guidi | lambda_delta: global environments handling: redefined... | blob | commitdiff | raw | diff to current |
| 2011-11-24 | Ferruccio Guidi | - now destruct tries to clear the replaced variables... | 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-10-08 | Andrea Asperti | Library committed again (because of a bug in SVN) | blob | commitdiff | raw | diff to current |
| 2010-10-08 | Andrea Asperti | SVN bug: library lost, copying it again from previous... | blob | commitdiff | raw | diff to current |
| 2010-10-08 | Andrea Asperti | - hmysql removed (RIP) | blob | commitdiff | raw |
| 2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | blob | commitdiff | raw | diff to current |