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

drwxr-xr-x		..
-rw-r--r--	2596	annotatedcont.xsl	blob \| history \| raw
-rw-r--r--	2145	annotatedcont.xsl.csc	blob \| history \| raw
-rw-r--r--	1173	annotatedpres.xsl	blob \| history \| raw
-rw-r--r--	9363	basic.xsl	blob \| history \| raw
-rw-r--r--	10668	content.xsl	blob \| history \| raw
-rw-r--r--	10567	content.xsl.csc	blob \| history \| raw
-rw-r--r--	8633	content_senza_tipi.13.9.00.xsl	blob \| history \| raw
-rw-r--r--	24848	content_to_html.xsl	blob \| history \| raw
-rw-r--r--	8479	html_init.xsl	blob \| history \| raw
-rw-r--r--	7452	html_reals.xsl	blob \| history \| raw
-rw-r--r--	15726	html_set.xsl	blob \| history \| raw
-rw-r--r--	71776	mml2mmlv1_0.xsl	blob \| history \| raw
-rw-r--r--	65524	mml2mmlv1_0_original.xsl	blob \| history \| raw
-rw-r--r--	43294	mmlextension.xsl	blob \| history \| raw
-rw-r--r--	33071	mmlextension_andrea.xsl	blob \| history \| raw
-rw-r--r--	28373	mmlextension_irene.xsl	blob \| history \| raw
-rw-r--r--	8314	objcontent.xsl	blob \| history \| raw
-rw-r--r--	8076	objcontent.xsl.csc	blob \| history \| raw
-rw-r--r--	8040	objcontent_old.xsl	blob \| history \| raw
-rw-r--r--	6804	params.xsl	blob \| history \| raw
-rw-r--r--	7641	proof31-10-00.xsl	blob \| history \| raw
-rw-r--r--	8886	proofs.xsl	blob \| history \| raw
-rw-r--r--	9357	reals.xsl	blob \| history \| raw
-rw-r--r--	3570	ricerca.xsl	blob \| history \| raw
-rw-r--r--	1390	rootcontent.xsl	blob \| history \| raw
-rw-r--r--	1348	rootcontent_withproofs.xsl	blob \| history \| raw
-rw-r--r--	1086	roottheory.xsl	blob \| history \| raw
-rw-r--r--	17822	set.xsl	blob \| history \| raw
drwxr-xr-x	-	style_prima_del_linguaggio_naturale	tree \| history
-rw-r--r--	2073	theory_content.xsl	blob \| history \| raw
-rw-r--r--	1273	theory_pres.xsl	blob \| history \| raw