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

drwxr-xr-x		..
-rw-r--r--	5567	annotatedcont.xsl	blob \| history \| raw
-rw-r--r--	2899	annotatedpres.xsl	blob \| history \| raw
-rw-r--r--	5049	arith.xsl	blob \| history \| raw
-rw-r--r--	10179	basic.xsl	blob \| history \| raw
drwxr-xr-x	-	config	tree \| history
-rw-r--r--	12169	content.xsl	blob \| history \| raw
-rw-r--r--	50541	content_to_html.xsl	blob \| history \| raw
-rw-r--r--	5483	contentlib.xsl	blob \| history \| raw
-rw-r--r--	4196	expandobj.xsl	blob \| history \| raw
-rw-r--r--	2413	headercontent.xsl	blob \| history \| raw
-rw-r--r--	11748	html_init.xsl	blob \| history \| raw
-rw-r--r--	11270	html_reals.xsl	blob \| history \| raw
-rw-r--r--	11005	html_set.xsl	blob \| history \| raw
-rw-r--r--	17000	inductive.xsl	blob \| history \| raw
-rw-r--r--	3189	link.xsl	blob \| history \| raw
-rw-r--r--	6414	links_library.xsl	blob \| history \| raw
-rw-r--r--	73155	mml2mmlv1_0.xsl	blob \| history \| raw
-rw-r--r--	53399	mmlextension.xsl	blob \| history \| raw
-rw-r--r--	2427	mmltheoryextension.xsl	blob \| history \| raw
-rw-r--r--	6297	objcontent.xsl	blob \| history \| raw
-rw-r--r--	3739	objtheorycontent.xsl	blob \| history \| raw
-rw-r--r--	16035	params.xsl	blob \| history \| raw
-rw-r--r--	22949	proofs.xsl	blob \| history \| raw
-rw-r--r--	12682	reals.xsl	blob \| history \| raw
-rw-r--r--	4996	ricerca.xsl	blob \| history \| raw
-rw-r--r--	5618	ring.xsl	blob \| history \| raw
-rw-r--r--	3736	rootcontent.xsl	blob \| history \| raw
-rw-r--r--	2717	roottheory.xsl	blob \| history \| raw
-rw-r--r--	19237	set.xsl	blob \| history \| raw
-rw-r--r--	3160	theory_content.xsl	blob \| history \| raw
-rw-r--r--	3434	theory_pres.xsl	blob \| history \| raw