]>
2014-06-08 | Ferruccio Guidi | - some work on append | blob | commitdiff | raw |
2013-10-25 | Ferruccio Guidi | - bug fix in the induction for the closure property | blob | commitdiff | raw | diff to current |
2013-08-09 | Ferruccio Guidi | - test.ma on the disambiguation bug moved to ONAG ... | blob | commitdiff | raw | diff to current |
2013-07-26 | Ferruccio Guidi | lambdadelta | blob | commitdiff | raw | diff to current |
2013-03-13 | Ferruccio Guidi | - lambdadelta: third recursive part of preservation... | blob | commitdiff | raw | diff to current |
2012-12-25 | Ferruccio Guidi | - lambda_delta: programmed renaming to lambdadelta | blob | commitdiff | raw | diff to current |