2021-02-26 |
Ferruccio Guidi | propagating the arithmetics library, partial commit |
blob | commitdiff | raw |
2020-04-18 |
Ferruccio Guidi | milestone update in basic_2, update in ground and static_2 |
blob | commitdiff | raw | diff to current |
2020-02-27 |
Ferruccio Guidi | ground_2 released and permanently renamed as ground |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Ferruccio Guidi | update in basic_2 and apps_2 |
blob | commitdiff | raw | diff to current |
2020-01-10 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Ferruccio Guidi | update in ground_2, static_2, basic_2, apps_2, alpha_1 |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
blob | commitdiff | raw | diff to current |
2019-11-19 |
Ferruccio Guidi | λδ-2B is released |
blob | commitdiff | raw | diff to current |
2019-10-28 |
Ferruccio Guidi | update in basic_2 |
blob | commitdiff | raw | diff to current |
2019-10-14 |
Ferruccio Guidi | backport of WIP on \lambda\delta to matita 0.99.3 |
blob | commitdiff | raw | diff to current |
2019-10-03 |
Ferruccio Guidi | update in ground_2 and basic_2 |
blob | commitdiff | raw | diff to current |
2019-10-01 |
Ferruccio Guidi | Merge remote-tracking branch 'origin/matita-lablgtk3' |
blob | commitdiff | raw | diff to current |
2019-09-30 |
Ferruccio Guidi | update in ground_2 and basic_2 |
blob | commitdiff | raw | diff to current |
|