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

drwxr-xr-x		..
-rw-r--r--	4334	annotatedcont.xsl	blob \| history \| raw
-rw-r--r--	2899	annotatedpres.xsl	blob \| history \| raw
-rw-r--r--	11666	basic.xsl	blob \| history \| raw
-rw-r--r--	14875	content.xsl	blob \| history \| raw
-rw-r--r--	26613	content_to_html.xsl	blob \| history \| raw
-rw-r--r--	10232	html_init.xsl	blob \| history \| raw
-rw-r--r--	9193	html_reals.xsl	blob \| history \| raw
-rw-r--r--	17511	html_set.xsl	blob \| history \| raw
-rw-r--r--	73155	mml2mmlv1_0.xsl	blob \| history \| raw
-rw-r--r--	51534	mmlextension.xsl	blob \| history \| raw
-rw-r--r--	10362	objcontent.xsl	blob \| history \| raw
-rw-r--r--	11474	params.xsl	blob \| history \| raw
-rw-r--r--	14872	proofs.xsl	blob \| history \| raw
-rw-r--r--	11849	reals.xsl	blob \| history \| raw
-rw-r--r--	5302	ricerca.xsl	blob \| history \| raw
-rw-r--r--	3113	rootcontent.xsl	blob \| history \| raw
-rw-r--r--	2717	roottheory.xsl	blob \| history \| raw
-rw-r--r--	19612	set.xsl	blob \| history \| raw
drwxr-xr-x	-	style_prima_del_linguaggio_naturale	tree \| history
-rw-r--r--	3806	theory_content.xsl	blob \| history \| raw
-rw-r--r--	3077	theory_pres.xsl	blob \| history \| raw