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: d5ce344) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 24 Feb 2002 14:36:50 +0000 (14:36 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 24 Feb 2002 14:36:50 +0000 (14:36 +0000)
commit	0d0b47b4a6dc53d8fa5504c25f6f7323f5e3aa1b
tree	73b4bd290d81c5f4f18fd13c2bbef15e2127b0af	tree \| snapshot
parent	d5ce344524c89c9cd85d9162a083a90b406ed8c5	commit \| diff

More cleanup: the home page is now generated by means of XSLT only.
(i.e. no more cat ... >> $@)

helm/mowgli/home/html/.cvsignore		diff \| blob \| history
helm/mowgli/home/html/Makefile		diff \| blob \| history
helm/mowgli/home/templates/home.html.bot	[deleted file]	blob \| history
helm/mowgli/home/templates/home.html.top	[deleted file]	blob \| history
helm/mowgli/home/xml/home.xml	[new file with mode: 0644]	blob
helm/mowgli/home/xsl/approaching-deadlines.xsl		diff \| blob \| history
helm/mowgli/home/xsl/latest-news.xsl		diff \| blob \| history
helm/mowgli/home/xsl/xhtml-content.xsl		diff \| blob \| history

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