]>
2014-01-31 | Ferruccio Guidi | some notation renamed and fixed | blob | commitdiff | raw |
2014-01-29 | Ferruccio Guidi | bug fix in the notation of normal forms, now we specify... | blob | commitdiff | raw | diff to current |
2013-08-03 | Ferruccio Guidi | partial commit: "reduction" component | blob | commitdiff | raw | diff to current |
2013-08-01 | Ferruccio Guidi | partial commit: just the components before "static... | blob | commitdiff | raw | diff to current |
2013-07-26 | Ferruccio Guidi | lambdadelta | blob | commitdiff | raw | diff to current |
2013-07-13 | Ferruccio Guidi | partial commit of the components before "conversion" | blob | commitdiff | raw | diff to current |