dev - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	Bugzilla_Coq_autolink.user.js	617	log plain
-rw-r--r--	Coq_Bugzilla_autolink.user.js	1745	log plain
-rw-r--r--	README	1878	log plain
-rw-r--r--	base_db	153	log plain
-rw-r--r--	base_include	5231	log plain
-rw-r--r--	bugzilla2github_stripped.csv	5011	log plain
d---------	build	64	log plain
-rw-r--r--	checker.dbg	137	log plain
-rw-r--r--	checker_db	1223	log plain
-rw-r--r--	checker_printers.ml	2754	log plain
-rw-r--r--	checker_printers.mli	2120	log plain
d---------	ci	1520	log plain
-rw-r--r--	core.dbg	456	log plain
-rw-r--r--	db	3525	log plain
d---------	doc	1400	log plain
-rw-r--r--	dynlink.ml	1740	log plain
-rw-r--r--	header.c	675	log plain
-rw-r--r--	header.ml	675	log plain
-rw-r--r--	header.py	675	log plain
-rw-r--r--	include	3460	log plain
-rwxr-xr-x	lint-commits.sh	873	log plain
-rwxr-xr-x	lint-repository.sh	1253	log plain
-rwxr-xr-x	macosify_accel.sh	116	log plain
d---------	nsis	82	log plain
-rw-r--r--	ocamldebug-coq.run	2057	log plain
d---------	ocamldoc	150	log plain
d---------	tools	514	log plain
-rw-r--r--	top_printers.ml	22174	log plain
-rw-r--r--	top_printers.mli	6137	log plain
d---------	v8-syntax	159	log plain
-rw-r--r--	vm_printers.ml	2521	log plain