]>
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 |
2020-09-27 | Ferruccio Guidi | update in basic_2 | commit | commitdiff |
2020-09-25 | Ferruccio Guidi | milestone update in basic_2 | commit | commitdiff |
2020-07-18 | Ferruccio Guidi | update in static_2 | commit | commitdiff |
2020-04-24 | Ferruccio Guidi | update in staic_2 and basic_2 | commit | commitdiff |
2020-01-08 | Ferruccio Guidi | update in ground_2, static_2, basic_2, apps_2, alpha_1 | commit | commitdiff |
2019-11-18 | Ferruccio Guidi | update for the article | commit | commitdiff |