tools - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	CoqMakefile.in	20004	log plain
-rw-r--r--	README.emacs	833	log plain
-rwxr-xr-x	beautify-archive	2094	log plain
-rwxr-xr-x	check-translate	975	log plain
-rw-r--r--	coq-font-lock.el	4900	log plain
-rw-r--r--	coq-inferior.el	11618	log plain
-rw-r--r--	coq-sl.sty	740	log plain
-rw-r--r--	coq_makefile.ml	15957	log plain
-rw-r--r--	coq_tex.ml	10005	log plain
-rw-r--r--	coqc.ml	5647	log plain
-rw-r--r--	coqdep.ml	19035	log plain
-rw-r--r--	coqdep_boot.ml	2347	log plain
-rw-r--r--	coqdep_common.ml	20851	log plain
-rw-r--r--	coqdep_common.mli	3173	log plain
-rw-r--r--	coqdep_lexer.mli	1005	log plain
-rw-r--r--	coqdep_lexer.mll	9867	log plain
d---------	coqdoc	603	log plain
-rw-r--r--	coqmktop.ml	10474	log plain
-rw-r--r--	coqwc.mll	9097	log plain
-rw-r--r--	coqworkmgr.ml	7109	log plain
-rw-r--r--	fake_ide.ml	11659	log plain
-rw-r--r--	gallina-db.el	8683	log plain
-rw-r--r--	gallina-syntax.el	45090	log plain
-rw-r--r--	gallina.el	4830	log plain
-rw-r--r--	gallina.ml	1816	log plain
-rw-r--r--	gallina_lexer.mll	4815	log plain
-rw-r--r--	mkwinapp.ml	3016	log plain
-rw-r--r--	ocamllibdep.mll	7736	log plain
-rwxr-xr-x	update-require	2220	log plain