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

drwxr-xr-x		..
-rw-r--r--	493	Makefile	blob \| history \| raw
-rw-r--r--	10071	consortium.xml	blob \| history \| raw
drwxr-xr-x	-	deliverables	tree \| history
-rw-r--r--	3731	home.xml	blob \| history \| raw
-rw-r--r--	1770	members-index.xml	blob \| history \| raw
-rw-r--r--	796	mowgli-events.xml	blob \| history \| raw
drwxr-xr-x	-	mowgli-events	tree \| history
-rw-r--r--	33351	mowgli-xhtml1-transitional.dtd	blob \| history \| raw
-rw-r--r--	1394	news.xml	blob \| history \| raw
-rw-r--r--	6515	other-events.xml	blob \| history \| raw
drwxr-xr-x	-	people	tree \| history
-rw-r--r--	7217	project-management.xml	blob \| history \| raw
-rw-r--r--	7818	project-objectives.xml	blob \| history \| raw
-rw-r--r--	3896	project-summary.xml	blob \| history \| raw
-rw-r--r--	753	project.xml	blob \| history \| raw
drwxr-xr-x	-	publications	tree \| history
drwxr-xr-x	-	sites	tree \| history
drwxr-xr-x	-	software	tree \| history
drwxr-xr-x	-	work-packages	tree \| history