]>
2015-02-05 | Ferruccio Guidi | depend update | blob | commitdiff | raw |
2015-01-30 | Ferruccio Guidi | notation ast updated to comply with the toplevel let... | blob | commitdiff | raw | diff to current |
2014-12-01 | Ferruccio Guidi | dependences update | blob | commitdiff | raw |
2012-01-07 | Ferruccio Guidi | lambda_delta: global environments handling: redefined... | blob | commitdiff | raw | diff to current |
2011-11-24 | Ferruccio Guidi | - now destruct tries to clear the replaced variables... | blob | commitdiff | raw | diff to current |
2011-11-18 | Claudio Sacerdoti... | * Almost ready for release 0.99.1. | blob | commitdiff | raw | diff to current |
2011-06-25 | Ferruccio Guidi | - some depend files | blob | commitdiff | raw | diff to current |
2011-05-26 | Claudio Sacerdoti... | Added "nocomposites" to coercions. | blob | commitdiff | raw | diff to current |
2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | blob | commitdiff | raw | diff to current |