tools - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	CoqMakefile.in	26686	log plain
-rw-r--r--	README.emacs	833	log plain
-rw-r--r--	TimeFileMaker.py	11260	log plain
-rwxr-xr-x	beautify-archive	2083	log plain
-rwxr-xr-x	check-translate	975	log plain
-rw-r--r--	coq-sl.sty	740	log plain
-rw-r--r--	coq_dune.ml	9907	log plain
-rw-r--r--	coq_makefile.ml	17120	log plain
-rw-r--r--	coq_tex.ml	10155	log plain
-rw-r--r--	coqc.ml	5705	log plain
-rw-r--r--	coqdep.ml	20035	log plain
-rw-r--r--	coqdep_boot.ml	2497	log plain
-rw-r--r--	coqdep_common.ml	21201	log plain
-rw-r--r--	coqdep_common.mli	3394	log plain
-rw-r--r--	coqdep_lexer.mli	1155	log plain
-rw-r--r--	coqdep_lexer.mll	9830	log plain
d---------	coqdoc	603	log plain
-rw-r--r--	coqwc.mll	9289	log plain
-rw-r--r--	coqworkmgr.ml	7235	log plain
-rw-r--r--	dune	519	log plain
-rw-r--r--	fake_ide.ml	11739	log plain
-rwxr-xr-x	make-both-single-timing-files.py	621	log plain
-rwxr-xr-x	make-both-time-files.py	686	log plain
-rwxr-xr-x	make-one-time-file.py	772	log plain
-rw-r--r--	md5sum.ml	884	log plain
-rw-r--r--	mkwinapp.ml	3016	log plain
-rw-r--r--	ocamllibdep.mll	8088	log plain
-rwxr-xr-x	update-require	2220	log plain