matita.cs.unibo.it Git - helm.git/history - helm/style/contentlib.xsl

]> matita.cs.unibo.it Git - helm.git/history - helm/style/contentlib.xsl

[helm.git] / helm / style / contentlib.xsl

2004-01-19	Claudio Sacerdoti...	No longer in use. The official repository for the	commit \| commitdiff
2001-10-22	Ferruccio Guidi	template mk-mml-op-noannot was modified to allow hidden...	commit \| commitdiff
2001-07-24	Irene Schena	--------------------------------------------------...	commit \| commitdiff
2001-07-05	Andrea Asperti	Notation for ZArith (inside arith.xsl) added.	commit \| commitdiff
2001-04-09	Irene Schena	Modified Files:	commit \| commitdiff
2001-04-05	Ferruccio Guidi	contentlib.xsl improved, now handles eq eqT	commit \| commitdiff
2001-04-03	Ferruccio Guidi	added notations for abstact polinomials	commit \| commitdiff
2001-03-20	Ferruccio Guidi	basic notations for arithmetics	commit \| commitdiff

Unnamed repository; edit this file 'description' to name the repository.