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

drwxr-xr-x		..
-rw-r--r--	182	.cvsignore	blob \| history \| raw
-rw-r--r--	2678	Makefile	blob \| history \| raw
-rw-r--r--	2504	ed.sty	blob \| history \| raw
-rw-r--r--	3930	input_phase.dia	blob \| history \| raw
-rw-r--r--	130130	input_phase.eps	blob \| history \| raw
-rw-r--r--	8981	klu10.clo	blob \| history \| raw
-rw-r--r--	9011	klu105.clo	blob \| history \| raw
-rw-r--r--	8983	klu11.clo	blob \| history \| raw
-rw-r--r--	8952	klu12.clo	blob \| history \| raw
-rw-r--r--	8992	klu9.clo	blob \| history \| raw
-rw-r--r--	21563	kluedit.sty	blob \| history \| raw
-rw-r--r--	26912	klufloa.sty	blob \| history \| raw
-rw-r--r--	8419	klulist.sty	blob \| history \| raw
-rw-r--r--	13796	klumac.sty	blob \| history \| raw
-rw-r--r--	15411	klumath.sty	blob \| history \| raw
-rw-r--r--	20472	klunamed.bst	blob \| history \| raw
-rw-r--r--	6413	klunote.sty	blob \| history \| raw
-rw-r--r--	20421	klunum.bst	blob \| history \| raw
-rw-r--r--	20469	kluopen.sty	blob \| history \| raw
-rw-r--r--	19084	klups.sty	blob \| history \| raw
-rw-r--r--	15319	kluref.sty	blob \| history \| raw
-rw-r--r--	19098	klusec.sty	blob \| history \| raw
-rw-r--r--	9150	klut10.clo	blob \| history \| raw
-rw-r--r--	9081	klut11.clo	blob \| history \| raw
-rw-r--r--	9106	klut12.clo	blob \| history \| raw
-rw-r--r--	9064	klut9.clo	blob \| history \| raw
-rw-r--r--	8162	klutab.sty	blob \| history \| raw
-rw-r--r--	4668	kluwer.cls	blob \| history \| raw
-rw-r--r--	2304	libraries.dot	blob \| history \| raw
-rw-r--r--	27774	libraries.ps	blob \| history \| raw
-rw-r--r--	30009	librariesCluster.ps	blob \| history \| raw
-rw-r--r--	49784	matita.bib	blob \| history \| raw
-rw-r--r--	58121	matita.tex	blob \| history \| raw
-rw-r--r--	64576	matita2.tex	blob \| history \| raw