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

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

author	Luca Padovani <luca.padovani@unito.it>
	Mon, 15 Jan 2001 09:00:06 +0000 (09:00 +0000)
committer	Luca Padovani <luca.padovani@unito.it>
	Mon, 15 Jan 2001 09:00:06 +0000 (09:00 +0000)
commit	8e1a7e55cbc7750446f0a7ab3d071190594243fb
tree	b92fe691bb7dbd7e877be0ce95c4b1f372c68b8d	tree \| snapshot
parent	722660d9017f25c9a33df41442ae67f2561de0c8	commit \| diff

added LICENSE

32 files changed:

helm/configuration/etc/configuration.dtd		diff \| blob \| history
helm/configuration/etc/configuration.xml.in		diff \| blob \| history
helm/configuration/etc/helm-dictionary.xml		diff \| blob \| history
helm/configuration/etc/helm-font-configuration.xml		diff \| blob \| history
helm/configuration/etc/helm-math-engine-configuration.xml.in		diff \| blob \| history
helm/configuration/lib/configuration.pl.in		diff \| blob \| history
helm/dtd/annotations.dtd		diff \| blob \| history
helm/dtd/cic.dtd		diff \| blob \| history
helm/dtd/cicobject.dtd		diff \| blob \| history
helm/dtd/cictypes.dtd		diff \| blob \| history
helm/dtd/maththeory.dtd		diff \| blob \| history
helm/dtd/theoryobject.dtd		diff \| blob \| history
helm/http_getter/http_getter.pl.in		diff \| blob \| history
helm/style/annotatedcont.xsl		diff \| blob \| history
helm/style/annotatedpres.xsl		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/objcontent.xsl		diff \| blob \| history
helm/style/params.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/rootcontent.xsl		diff \| blob \| history
helm/style/roottheory.xsl		diff \| blob \| history
helm/style/set.xsl		diff \| blob \| history
helm/style/theory_content.xsl		diff \| blob \| history
helm/style/theory_pres.xsl		diff \| blob \| history

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

RSS Atom