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

-rw-r--r--	139	changelog	blob \| raw
-rw-r--r--	2	compat	blob \| raw
-rw-r--r--	1623	control	blob \| raw
-rw-r--r--	1043	copyright	blob \| raw
-rw-r--r--	45	matita-standard-library.dirs	blob \| raw
-rw-r--r--	75	matita-standard-library.install	blob \| raw
-rw-r--r--	28	matita.dirs	blob \| raw
-rw-r--r--	446	matita.install	blob \| raw
-rw-r--r--	211	matita.menu	blob \| raw
drwxr-xr-x	-	patches	tree
-rwxr-xr-x	2182	rules	blob \| raw