projects / helm.git / history
| 2015-07-01 | Ferruccio Guidi | - simpler attribute system | blob | commitdiff | raw |
| 2015-06-27 | Ferruccio Guidi | - bug fix in the static analyzer allows better Pi/foral... | blob | commitdiff | raw | diff to current |
| 2015-06-19 | Ferruccio Guidi | new options activated | blob | commitdiff | raw | diff to current |
| 2015-06-16 | Ferruccio Guidi | new syntax of abstractions propagated to complete_rg | blob | commitdiff | raw | diff to current |
| 2014-12-31 | Ferruccio Guidi | last commit for helena 0.8.2 | blob | commitdiff | raw | diff to current |
| 2014-11-28 | Ferruccio Guidi | - bug fix in the static disambiguation of unified binders | blob | commitdiff | raw | diff to current |
| 2014-11-23 | Ferruccio Guidi | - new attributes system | blob | commitdiff | raw | diff to current |
| 2014-11-20 | Ferruccio Guidi | new intermediate language complete_rg, | blob | commitdiff | raw | diff to current |
| 2011-09-11 | Ferruccio Guidi | refactoring ... | blob | commitdiff | raw | diff to current |