]>
2002-12-10 | Claudio Sacerdoti... | positive.xsl is now included in headercontent.xsl and... | blob | commitdiff | raw |
2002-12-02 | Andrea Asperti | *** empty log message *** | blob | commitdiff | raw | diff to current |
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 |