]>
2014-01-27 | Ferruccio Guidi | some corrections ... | blob | commitdiff | raw |
2014-01-20 | Ferruccio Guidi | commit completed: now we support two versions of slicin... | blob | commitdiff | raw | diff to current |
2014-01-15 | Ferruccio Guidi | we start a criterion on extended computation | blob | commitdiff | raw | diff to current |