matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 3 Apr 2001 14:55:36 +0000 (14:55 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 3 Apr 2001 14:55:36 +0000 (14:55 +0000)
commit	da5fe4c75778c9efab036b71d3c936025d20a98c
tree	b2e5de17f385f610be9588ae86d04113e9161370	tree \| snapshot
parent	942fad0fe746ee1f66566664548f84c7c03dcd30	commit \| diff

added notations for abstact polinomials
HTML rendering of constants in symbol font improved (including m:minus)
added a title for the HTML rendering window

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

RSS Atom

helm/style/arith.xsl		diff \| blob \| history
helm/style/content.xsl		diff \| blob \| history
helm/style/content_to_html.xsl		diff \| blob \| history
helm/style/contentlib.xsl		diff \| blob \| history
helm/style/headercontent.xsl		diff \| blob \| history
helm/style/html_init.xsl		diff \| blob \| history
helm/style/html_set.xsl		diff \| blob \| history
helm/style/reals.xsl		diff \| blob \| history