]>
2019-10-01 | Ferruccio Guidi | Merge remote-tracking branch 'origin/matita-lablgtk3' | tree | commitdiff |
2019-09-27 | Claudio Sacerdoti... | Merge branch 'declarative' into matita-lablgtk3 | tree | commitdiff |
2019-09-27 | Claudio Sacerdoti... | finite_lambda restored | tree | commitdiff |
2019-09-27 | Claudio Sacerdoti... | reverse_complexity lib restored | tree | commitdiff |
2019-09-27 | Claudio Sacerdoti... | automatically inserted aliases | tree | commitdiff |
2019-09-27 | Claudio Sacerdoti... | Broken libs moved to broken_lib | tree | commitdiff |
2018-12-28 | Claudio Sacerdoti... | finite_lambda restored | tree | commitdiff |
2018-12-28 | Claudio Sacerdoti... | reverse_complexity lib restored | tree | commitdiff |
2018-12-26 | Claudio Sacerdoti... | automatically inserted aliases | tree | commitdiff |
2018-12-26 | Claudio Sacerdoti... | Broken libs moved to broken_lib | tree | commitdiff |