]>
2011-07-27 | Ferruccio Guidi | - xoa: bug fix and improvement | blob | commitdiff | raw |
2011-07-19 | Ferruccio Guidi | - nnAuto.ml: width overflows are warnings, not errors | blob | commitdiff | raw | diff to current |
2011-07-19 | Ferruccio Guidi | one main property of lift closed | blob | commitdiff | raw | diff to current |
2011-07-18 | Ferruccio Guidi | - functional properties of lift closed! | blob | commitdiff | raw | diff to current |
2011-06-18 | Ferruccio Guidi | - xoa: more existential types | blob | commitdiff | raw | diff to current |
2011-06-14 | Ferruccio Guidi | some restructuring | blob | commitdiff | raw | diff to current |