]>
2001-07-24 | Irene Schena | --------------------------------------------------... | blob | commitdiff | raw |
2001-07-05 | Andrea Asperti | Notation for ZArith (inside arith.xsl) added. | blob | commitdiff | raw | diff to current |
2001-04-09 | Irene Schena | Modified Files: | blob | commitdiff | raw |
2001-04-05 | Ferruccio Guidi | contentlib.xsl improved, now handles eq eqT | blob | commitdiff | raw | diff to current |
2001-04-03 | Ferruccio Guidi | added notations for abstact polinomials | blob | commitdiff | raw | diff to current |
2001-03-20 | Ferruccio Guidi | basic notations for arithmetics | blob | commitdiff | raw | diff to current |