]>
2021-11-30 | Ferruccio Guidi | Merge branch 'master' of ssh://matita.cs.unibo.it:... | blob | commitdiff | raw |
2021-10-29 | Ferruccio Guidi | update in ground static_2 basic_2 apps_2 | blob | commitdiff | raw |
2020-01-14 | Ferruccio Guidi | update in basic_2 and apps_2 | blob | commitdiff | raw | diff to current |
2016-04-16 | Ferruccio Guidi | refactoring to park the notions: | blob | commitdiff | raw |
2016-04-01 | Ferruccio Guidi | - new component "s_transition" for the restored fqu... | blob | commitdiff | raw | diff to current |
2016-01-31 | Ferruccio Guidi | renaming ... | blob | commitdiff | raw | diff to current |
2014-01-31 | Ferruccio Guidi | some notation renamed and fixed | blob | commitdiff | raw | diff to current |