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

drwxr-xr-x		..
-rw-r--r--	2596	annotatedcont.xsl	blob \| history \| raw
-rw-r--r--	1173	annotatedpres.xsl	blob \| history \| raw
-rw-r--r--	9363	basic.xsl	blob \| history \| raw
-rw-r--r--	10662	content.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--	72367	mml2mmlv1_0.xsl	blob \| history \| raw
-rw-r--r--	43294	mmlextension.xsl	blob \| history \| raw
-rw-r--r--	8314	objcontent.xsl	blob \| history \| raw
-rw-r--r--	6804	params.xsl	blob \| history \| raw
-rw-r--r--	9379	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--	1381	rootcontent.xsl	blob \| history \| raw
-rw-r--r--	991	roottheory.xsl	blob \| history \| raw
-rw-r--r--	17765	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--	1351	theory_pres.xsl	blob \| history \| raw