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

-rw-r--r--	23	.cvsignore	blob \| raw
-rw-r--r--	305	Makefile	blob \| raw
-rw-r--r--	1236	draftstamp.sty	blob \| raw
-rw-r--r--	3178	ed.sty	blob \| raw
drwxr-xr-x	-	eps	tree
-rw-r--r--	45298	hbugs-calculemus-2003.tex	blob \| raw
-rw-r--r--	35384	llncs.cls	blob \| raw
-rw-r--r--	1231	outline.txt	blob \| raw
-rw-r--r--	12714	referaggio_hbugs.txt	blob \| raw
-rw-r--r--	6232	referaggio_hbugs_short.txt	blob \| raw
-rw-r--r--	1823	stamp.pro	blob \| raw