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