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: 96a4177) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 24 Nov 2000 14:41:40 +0000 (14:41 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 24 Nov 2000 14:41:40 +0000 (14:41 +0000)
commit	975ab2f71a5e39379d44a494d73b8e05a8a0ad5d
tree	ebd82b212840b68f8eec7d1b6a1dc36db7a4b73a	tree \| snapshot
parent	96a4177b8fc2a36bfa48c950fba811571b0ecb1b	commit \| diff

http_getter reimplemented from scratch

17 files changed:

helm/configuration/local/etc/helm/configuration.xml		diff \| blob \| history
helm/header/setheader.xsl		diff \| blob \| history
helm/http_getter/http_getter.pl		diff \| blob \| history
helm/interface/getter.ml		diff \| blob \| history
helm/interface/pxpUriResolver.ml		diff \| blob \| history
helm/style/basic.xsl		diff \| blob \| history
helm/style/content.xsl		diff \| blob \| history
helm/style/content_to_html.xsl		diff \| blob \| history
helm/style/html_init.xsl		diff \| blob \| history
helm/style/html_reals.xsl		diff \| blob \| history
helm/style/html_set.xsl		diff \| blob \| history
helm/style/mmlextension.xsl		diff \| blob \| history
helm/style/proofs.xsl		diff \| blob \| history
helm/style/reals.xsl		diff \| blob \| history
helm/style/ricerca.xsl		diff \| blob \| history
helm/style/set.xsl		diff \| blob \| history
helm/style/theory_content.xsl		diff \| blob \| history

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