]>
2018-09-21 | Ferruccio Guidi | milestone in basic_2, λδ-2A reconstructed | commit | commitdiff |
2018-05-11 | Ferruccio Guidi | update in basic_2 | commit | commitdiff |
2017-01-22 | Ferruccio Guidi | - degree-based equivalene for terms | commit | commitdiff |
2014-06-18 | Ferruccio Guidi | milestone connit for preservation: | commit | commitdiff |