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

-rw-r--r--	656	Makefile	blob \| raw
-rw-r--r--	373	TODO	blob \| raw
-rw-r--r--	1009	legal.xml	blob \| raw
-rw-r--r--	285	matita-fo.xsl	blob \| raw
-rw-r--r--	339	matita-xhtml.xsl	blob \| raw
-rw-r--r--	5893	matita.xml	blob \| raw
-rw-r--r--	250	sec_gettingstarted.xml	blob \| raw
-rw-r--r--	12076	sec_install.xml	blob \| raw
-rw-r--r--	296	sec_intro.xml	blob \| raw
-rw-r--r--	44729	sec_tactics.xml	blob \| raw
-rw-r--r--	9806	sec_terms.xml	blob \| raw
-rw-r--r--	17	version.txt.in	blob \| raw
-rw-r--r--	61877	xhtml1-transitional.dtd	blob \| raw