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