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

-rw-r--r--	57	Make	blob \| raw
-rw-r--r--	673	Makefile	blob \| raw
-rw-r--r--	15992	basic_1.conf.xml	blob \| raw
-rw-r--r--	6961	basic_1.sty	blob \| raw
-rw-r--r--	2065	ground_1.conf.xml	blob \| raw
-rw-r--r--	845	ground_1.sty	blob \| raw
-rw-r--r--	1106	legacy_1.conf.xml	blob \| raw
-rw-r--r--	1352	legacy_1.sty	blob \| raw
-rw-r--r--	4260	macros_0.txt	blob \| raw
-rw-r--r--	5498	matex.sty	blob \| raw
-rw-r--r--	550	test.tex	blob \| raw