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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 6 Feb 2001 12:26:06 +0000 (12:26 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 6 Feb 2001 12:26:06 +0000 (12:26 +0000)
commit	c7b7fb84e411b6274121977ada67113352f98d0e
tree	96536d2c05a77b8cc25ef4a6423e27a3f03b2de6	tree \| snapshot
parent	c539f832ce69f7488e79e80d78c2c5003674dc50	commit \| diff

No more used and soon no more working due to changes to the http_getter

20 files changed:

helm/style/style_prima_del_linguaggio_naturale/annotatedcont.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/basic.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/content.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/content_to_html.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/html_init.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/html_reals.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/html_set.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0_original.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/mmlextension.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/objcontent.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/params.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/reals.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/ricerca.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/rootcontent.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/roottheory.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/set.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/theory_content.xsl	[deleted file]	blob \| history
helm/style/style_prima_del_linguaggio_naturale/theory_pres.xsl	[deleted file]	blob \| history

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

RSS Atom