]>
2018-03-29 | Ferruccio Guidi | decentralizing core notation | blob | commitdiff | raw |
2014-12-23 | Andrea Asperti | A compiling version | blob | commitdiff | raw | diff to current |
2014-12-04 | Andrea Asperti | fixing | blob | commitdiff | raw | diff to current |
2014-12-04 | Andrea Asperti | fixing | blob | commitdiff | raw | diff to current |
2013-04-30 | Andrea Asperti | tutorial | blob | commitdiff | raw | diff to current |
2012-12-07 | Ferruccio Guidi | - pts_dummy/pts_dummy_new: non compiling parts commente... | blob | commitdiff | raw | diff to current |
2012-12-07 | Ferruccio Guidi | - untranslated sections of "formal_topology" commented... | blob | commitdiff | raw | diff to current |
2012-07-21 | Andrea Asperti | An executable version of the tutorial. | blob | commitdiff | raw | diff to current |