matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/pxp/pxp/doc/

drwxr-xr-x		..
-rw-r--r--	2443	ABOUT-FINDLIB	blob \| history \| raw
-rw-r--r--	2161	ABOUT-FINDLIB.xml	blob \| history \| raw
-rw-r--r--	2439	EXTENSIONS	blob \| history \| raw
-rw-r--r--	2470	EXTENSIONS.xml	blob \| history \| raw
-rw-r--r--	5540	INSTALL	blob \| history \| raw
-rw-r--r--	4648	INSTALL.xml	blob \| history \| raw
-rw-r--r--	876	Makefile	blob \| history \| raw
-rw-r--r--	4850	PRERELEASE	blob \| history \| raw
-rw-r--r--	4441	PRERELEASE.xml	blob \| history \| raw
-rw-r--r--	11545	README	blob \| history \| raw
-rw-r--r--	16193	README.xml	blob \| history \| raw
-rw-r--r--	9209	SPEC	blob \| history \| raw
-rw-r--r--	9171	SPEC.xml	blob \| history \| raw
-rw-r--r--	14835	design.txt	blob \| history \| raw
-rw-r--r--	3570	dist-common.xml	blob \| history \| raw
drwxr-xr-x	-	manual	tree \| history