]> matita.cs.unibo.it Git - helm.git/history - helm/style/headercontent.xsl
* added references to ccorn stylesheets
[helm.git] / helm / style / headercontent.xsl
2003-11-14 Luca Padovani* added references to ccorn stylesheets
2002-12-10 Claudio Sacerdoti... positive.xsl is now included in headercontent.xsl and...
2002-12-02 Andrea Asperti*** empty log message ***
2001-11-05 Andrea AspertiAlgebra notation.
2001-05-15 Andrea AspertiLambda notazione.
2001-04-03 Ferruccio Guidiadded notations for abstact polinomials
2001-03-21 Claudio Sacerdoti... headercontent.xsl added to have all the notational...