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

drwxr-xr-x		..
-rw-r--r--	142	.cvsignore	blob \| history \| raw
-rw-r--r--	2391	Makefile	blob \| history \| raw
-rw-r--r--	291	TODO	blob \| history \| raw
-rw-r--r--	11552	architecture.eps	blob \| history \| raw
-rw-r--r--	5627	architecture.fig	blob \| history \| raw
-rw-r--r--	2186	architecture_new.dia	blob \| history \| raw
-rw-r--r--	58692	architecture_new.eps	blob \| history \| raw
-rw-r--r--	22454	architecture_new.pdf	blob \| history \| raw
drwxr-xr-x	-	dia	tree \| history
-rw-r--r--	2399912	disambiguation-1.eps	blob \| history \| raw
-rw-r--r--	33625	disambiguation-1.pdf	blob \| history \| raw
-rw-r--r--	28011	disambiguation-1.png	blob \| history \| raw
-rw-r--r--	2241847	disambiguation.eps	blob \| history \| raw
-rw-r--r--	27691	disambiguation.png	blob \| history \| raw
-rw-r--r--	1481	engine.dia	blob \| history \| raw
-rw-r--r--	14606	engine.eps	blob \| history \| raw
-rw-r--r--	1761	engine_new.dia	blob \| history \| raw
-rw-r--r--	52858	engine_new.eps	blob \| history \| raw
-rw-r--r--	23318	engine_new.pdf	blob \| history \| raw
-rw-r--r--	42328	llncs.cls	blob \| history \| raw
-rw-r--r--	29629	main.tex	blob \| history \| raw
-rw-r--r--	2051804	match_sin.eps	blob \| history \| raw
-rw-r--r--	28953	match_sin.pdf	blob \| history \| raw
-rw-r--r--	32264	match_sin.png	blob \| history \| raw
-rw-r--r--	4506	moogle.aux	blob \| history \| raw
-rw-r--r--	91640	moogle.dvi	blob \| history \| raw
-rw-r--r--	12410	moogle.log	blob \| history \| raw
-rw-r--r--	210	moogle.out	blob \| history \| raw
-rw-r--r--	46879	moogle.tex	blob \| history \| raw
drwxr-xr-x	-	referaggi	tree \| history
-rw-r--r--	11259	whelp-bw.eps	blob \| history \| raw
-rw-r--r--	3692	whelp-bw.pdf	blob \| history \| raw
-rw-r--r--	5329	whelp-bw.svg	blob \| history \| raw
-rw-r--r--	4952935	whelp.ps	blob \| history \| raw