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-db.el	8673	log plain
-rw-r--r--	coq-font-lock.el	4902	log plain
-rw-r--r--	coq-inferior.el	11606	log plain
-rwxr-xr-x	coq-sl.sty	740	log plain
-rw-r--r--	coq-syntax.el	44698	log plain
-rw-r--r--	coq.el	4804	log plain
-rw-r--r--	coq_makefile.ml	32970	log plain
-rw-r--r--	coq_tex.ml	9873	log plain
-rw-r--r--	coqdep.ml	7043	log plain
-rw-r--r--	coqdep_boot.ml	1902	log plain
-rw-r--r--	coqdep_common.ml	16892	log plain
-rw-r--r--	coqdep_common.mli	2172	log plain
-rw-r--r--	coqdep_lexer.mli	1017	log plain
-rw-r--r--	coqdep_lexer.mll	9750	log plain
d---------	coqdoc	562	log plain
-rw-r--r--	coqwc.mll	9179	log plain
-rw-r--r--	escape_string.ml	43	log plain
-rw-r--r--	fake_ide.ml	3772	log plain
-rw-r--r--	gallina.ml	1861	log plain
-rw-r--r--	gallina_lexer.mll	4850	log plain
-rw-r--r--	mingwpath.ml	347	log plain
-rw-r--r--	mkwinapp.ml	3016	log plain