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--	9940	basic.xsl	blob \| history \| raw
-rw-r--r--	12326	content.xsl	blob \| history \| raw
-rw-r--r--	24855	content_to_html.xsl	blob \| history \| raw
-rw-r--r--	8486	html_init.xsl	blob \| history \| raw
-rw-r--r--	7459	html_reals.xsl	blob \| history \| raw
-rw-r--r--	15733	html_set.xsl	blob \| history \| raw
-rw-r--r--	72987	mml2mmlv1_0.xsl	blob \| history \| raw
-rw-r--r--	43690	mmlextension.xsl	blob \| history \| raw
-rw-r--r--	8542	objcontent.xsl	blob \| history \| raw
-rw-r--r--	9748	params.xsl	blob \| history \| raw
-rw-r--r--	9996	proofs.xsl	blob \| history \| raw
-rw-r--r--	9592	reals.xsl	blob \| history \| raw
-rw-r--r--	3577	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--	17886	set.xsl	blob \| history \| raw
drwxr-xr-x	-	style_prima_del_linguaggio_naturale	tree \| history
-rw-r--r--	2080	theory_content.xsl	blob \| history \| raw
-rw-r--r--	1351	theory_pres.xsl	blob \| history \| raw