]>
2017-03-05 | Ferruccio Guidi | advances on cpxs and cnx (cnxa removed) ,,, | tree | commitdiff |
2017-03-02 | Ferruccio Guidi | - advances on csx | tree | commitdiff |
2017-02-20 | Ferruccio Guidi | csx on the way ... | tree | commitdiff |
2017-02-19 | Ferruccio Guidi | - advances on cnx | tree | commitdiff |
2017-02-19 | Ferruccio Guidi | - one annotation added | tree | commitdiff |
2017-02-19 | Ferruccio Guidi | support for generic reducibility ... | tree | commitdiff |
2017-02-16 | Ferruccio Guidi | - cprs and cnx on the way | tree | commitdiff |
2017-01-22 | Ferruccio Guidi | - degree-based equivalene for terms | tree | commitdiff |
2016-05-22 | Ferruccio Guidi | - notational change for cpg and cpx | tree | commitdiff |
2016-05-08 | Ferruccio Guidi | some renaming and reordering of variables | tree | commitdiff |
2016-04-16 | Ferruccio Guidi | refactoring to park the notions: | tree | commitdiff |