]>
2019-09-27 | Claudio Sacerdoti... | Merge branch 'declarative' into matita-lablgtk3 | blob | commitdiff | raw |
2019-09-27 | Ferruccio Guidi | patches for compilation with ocaml 4.0.5 | blob | commitdiff | raw |
2019-01-08 | Ferruccio Guidi | patches for compilation with ocaml 4.0.5 | blob | commitdiff | raw |
2018-05-07 | Ferruccio Guidi | update in apps_2 | blob | commitdiff | raw | diff to current |
2018-04-20 | Ferruccio Guidi | notational update in ground_2 and basic_2 | blob | commitdiff | raw | diff to current |
2018-04-16 | Ferruccio Guidi | anniversary push | blob | commitdiff | raw | diff to current |
2017-10-10 | Ferruccio Guidi | - web site update | blob | commitdiff | raw | diff to current |
2016-09-05 | Ferruccio Guidi | one more paper citing \lambda\delta | blob | commitdiff | raw | diff to current |
2016-07-22 | Ferruccio Guidi | site update | blob | commitdiff | raw | diff to current |