]>
2004-01-19 | Claudio Sacerdoti... | No longer in use. The official repository for the | blob | commitdiff | raw |
2004-01-19 | Claudio Sacerdoti... | Branch V7_3_new_exportation merged. | blob | commitdiff | raw |
2001-11-05 | Andrea Asperti | Algebra notation. | blob | commitdiff | raw | diff to current |
2001-05-15 | Andrea Asperti | Lambda notazione. | blob | commitdiff | raw | diff to current |
2001-04-03 | Ferruccio Guidi | added notations for abstact polinomials | blob | commitdiff | raw | diff to current |
2001-03-21 | Claudio Sacerdoti... | headercontent.xsl added to have all the notational... | blob | commitdiff | raw | diff to current |