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

drwxr-xr-x		..
-rw-r--r--	186	.cvsignore	blob \| history \| raw
-rw-r--r--	42	AUTHORS	blob \| history \| raw
-rw-r--r--	0	ChangeLog	blob \| history \| raw
-rw-r--r--	987	LICENSE	blob \| history \| raw
-rw-r--r--	399	Makefile.am	blob \| history \| raw
-rw-r--r--	0	NEWS	blob \| history \| raw
-rw-r--r--	410	README	blob \| history \| raw
-rw-r--r--	1326	acconfig.h	blob \| history \| raw
-rw-r--r--	1516	configure.in	blob \| history \| raw
drwxr-xr-x	-	debian	tree \| history
-rw-r--r--	20465	guiGTK.c	blob \| history \| raw
-rw-r--r--	1582	guiGTK.h	blob \| history \| raw
-rw-r--r--	429	helmpot.spec.in	blob \| history \| raw
-rw-r--r--	2984	main.c	blob \| history \| raw
-rw-r--r--	296	pot_mask	blob \| history \| raw