]>
2013-10-12 | Ferruccio Guidi | some renaming ... | blob | commitdiff | raw |
2013-10-06 | Ferruccio Guidi | bug fix in big-tree reduction | blob | commitdiff | raw | diff to current |
2013-10-06 | Ferruccio Guidi | - big-tree reduction is now based on extended reduction | blob | commitdiff | raw | diff to current |