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

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--	9405	basic.xsl	blob \| history \| raw
-rw-r--r--	8633	content.xsl	blob \| history \| raw
-rw-r--r--	10567	content.xsl.csc	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--	35158	mmlextension.xsl	blob \| history \| raw
-rw-r--r--	33069	mmlextension_andrea.xsl	blob \| history \| raw
-rw-r--r--	28371	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--	9381	reals.xsl	blob \| history \| raw
-rw-r--r--	3570	ricerca.xsl	blob \| history \| raw
-rw-r--r--	1348	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
-rw-r--r--	2073	theory_content.xsl	blob \| history \| raw
-rw-r--r--	1273	theory_pres.xsl	blob \| history \| raw