matita.cs.unibo.it Git - pkg-cerco/acc.git/tree

-rw-r--r--	329	Makefile	blob \| history \| raw
-rw-r--r--	598	Makefile.config	blob \| history \| raw
-rw-r--r--	2707	Makefile.generic	blob \| history \| raw
-rw-r--r--	328	Makefile.in	blob \| history \| raw
-rw-r--r--	192	Makefile.local	blob \| history \| raw
-rw-r--r--	167	Makefile.variables.in	blob \| history \| raw
-rw-r--r--	3418	README	blob \| history \| raw
-rw-r--r--	391	_tags.common	blob \| history \| raw
-rw-r--r--	19	_tags.compiler	blob \| history \| raw
-rw-r--r--	294	_tags.js_of_ocaml	blob \| history \| raw
-rw-r--r--	846	acc.odocl	blob \| history \| raw
drwxr-xr-x	-	admin	tree \| history
-rwxr-xr-x	117740	configure	blob \| history \| raw
-rwxr-xr-x	211	configure-oclosure.sh	blob \| history \| raw
-rw-r--r--	690	configure.ac	blob \| history \| raw
drwxr-xr-x	-	cparser	tree \| history
drwxr-xr-x	-	debian	tree \| history
-rw-r--r--	75031	distributed_files	blob \| history \| raw
drwxr-xr-x	-	doc	tree \| history
-rw-r--r--	2154	myocamlbuild.ml	blob \| history \| raw
drwxr-xr-x	-	src	tree \| history
drwxr-xr-x	-	tests	tree \| history
drwxr-xr-x	-	web	tree \| history