tools - coq - the Coq proof assistant

Mode	Name	Size
-rwxr-xr-x	README.coq-tex	380	log plain
-rwxr-xr-x	README.emacs	829	log plain
-rwxr-xr-x	beautify-archive	2034	log plain
-rwxr-xr-x	check-translate	975	log plain
-rw-r--r--	compat5.ml	685	log plain
-rw-r--r--	compat5.mlp	965	log plain
-rw-r--r--	compat5b.ml	686	log plain
-rw-r--r--	compat5b.mlp	977	log plain
-rw-r--r--	coq-font-lock.el	4902	log plain
-rw-r--r--	coq-inferior.el	11610	log plain
-rwxr-xr-x	coq-sl.sty	740	log plain
-rw-r--r--	coq_makefile.ml	33203	log plain
-rw-r--r--	coq_tex.ml	9888	log plain
-rw-r--r--	coqc.ml	6564	log plain
-rw-r--r--	coqdep.ml	16737	log plain
-rw-r--r--	coqdep_boot.ml	1843	log plain
-rw-r--r--	coqdep_common.ml	17261	log plain
-rw-r--r--	coqdep_common.mli	2229	log plain
-rw-r--r--	coqdep_lexer.mli	1017	log plain
-rw-r--r--	coqdep_lexer.mll	9706	log plain
d---------	coqdoc	562	log plain
-rw-r--r--	coqmktop.ml	10524	log plain
-rw-r--r--	coqwc.mll	9085	log plain
-rw-r--r--	fake_ide.ml	11565	log plain
-rw-r--r--	gallina-db.el	8685	log plain
-rw-r--r--	gallina-syntax.el	44726	log plain
-rw-r--r--	gallina.el	4820	log plain
-rw-r--r--	gallina.ml	1861	log plain
-rw-r--r--	gallina_lexer.mll	4850	log plain
-rw-r--r--	mkwinapp.ml	3016	log plain
-rwxr-xr-x	update-require	2220	log plain