]>
2019-09-29 | Ferruccio Guidi | Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo... | commit | commitdiff |
2019-09-27 | Claudio Sacerdoti... | Merge branch 'declarative' into matita-lablgtk3 | commit | commitdiff |
2019-09-27 | Claudio Sacerdoti... | reverse_complexity lib restored | commit | commitdiff |
2019-09-27 | Claudio Sacerdoti... | Broken libs moved to broken_lib | commit | commitdiff |
2019-05-16 | Ferruccio Guidi | decentralizing core notation continues ... | commit | commitdiff |
2018-12-28 | Claudio Sacerdoti... | reverse_complexity lib restored | commit | commitdiff |
2018-12-26 | Claudio Sacerdoti... | Broken libs moved to broken_lib | commit | commitdiff |
2014-08-03 | Andrea Asperti | new files | commit | commitdiff |
2014-01-28 | Andrea Asperti | Almost there | commit | commitdiff |
2014-01-28 | Andrea Asperti | progress | commit | commitdiff |
2014-01-27 | Andrea Asperti | working version | commit | commitdiff |