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

-rw-r--r--	172	.cvsignore	blob \| raw
-rw-r--r--	42	AUTHORS	blob \| raw
-rw-r--r--	0	ChangeLog	blob \| raw
-rw-r--r--	987	LICENSE	blob \| raw
-rw-r--r--	372	Makefile.am	blob \| raw
-rw-r--r--	0	NEWS	blob \| raw
-rw-r--r--	410	README	blob \| raw
-rw-r--r--	1326	acconfig.h	blob \| raw
-rw-r--r--	1880	configure.in	blob \| raw
drwxr-xr-x	-	debian	tree
-rw-r--r--	17988	guiGTK.c	blob \| raw
-rw-r--r--	1582	guiGTK.h	blob \| raw
-rw-r--r--	429	helmpot.spec.in	blob \| raw
-rw-r--r--	2980	main.c	blob \| raw
-rw-r--r--	296	pot_mask	blob \| raw