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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: adbb8f9) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 21 Nov 2002 17:18:55 +0000 (17:18 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 21 Nov 2002 17:18:55 +0000 (17:18 +0000)
commit	850b1a2e1b00104239484ac25aef29c0b943e1e5
tree	df3c9d321a324148b98cb2bfe02b038bc04f762c	tree \| snapshot
parent	adbb8f993af86259003d7978a26de549b3aef2ae	commit \| diff

Some stylesheets are now generated with Di Lena's meta_style.
Remember to add a new entry in servers.txt!!!

helm/style/algebra.xsl	[deleted file]	blob \| history
helm/style/annotatedcont.xsl		diff \| blob \| history
helm/style/arith.xsl	[deleted file]	blob \| history
helm/style/basic.xsl	[deleted file]	blob \| history
helm/style/content_to_html.xsl		diff \| blob \| history
helm/style/reals.xsl	[deleted file]	blob \| history
helm/style/set.xsl	[deleted file]	blob \| history
helm/style/xslt_index.txt		diff \| blob \| history

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