interface « plugins - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	COPYRIGHT	1243	log plain
-rw-r--r--	CoqInterface.v	567	log plain
-rw-r--r--	CoqParser.v	564	log plain
-rw-r--r--	ascent.mli	29843	log plain
-rw-r--r--	blast.ml	19377	log plain
-rw-r--r--	blast.mli	86	log plain
-rw-r--r--	centaur.ml4	27771	log plain
-rw-r--r--	coqinterface_plugin.mllib	133	log plain
-rw-r--r--	coqparser.ml	13812	log plain
-rw-r--r--	coqparser_plugin.mllib	53	log plain
-rw-r--r--	dad.ml	11476	log plain
-rw-r--r--	dad.mli	414	log plain
-rw-r--r--	debug_tac.ml4	14090	log plain
-rw-r--r--	debug_tac.mli	242	log plain
-rw-r--r--	depends.ml	19902	log plain
-rw-r--r--	history.ml	11158	log plain
-rw-r--r--	history.mli	517	log plain
-rwxr-xr-x	line_parser.ml4	9317	log plain
-rw-r--r--	line_parser.mli	305	log plain
-rw-r--r--	name_to_ast.ml	7789	log plain
-rw-r--r--	name_to_ast.mli	426	log plain
-rw-r--r--	paths.ml	747	log plain
-rw-r--r--	paths.mli	233	log plain
-rw-r--r--	pbp.ml	26441	log plain
-rw-r--r--	pbp.mli	110	log plain
-rw-r--r--	showproof.ml	54804	log plain
-rwxr-xr-x	showproof.mli	303	log plain
-rw-r--r--	showproof_ct.ml	4277	log plain
-rw-r--r--	translate.ml	2227	log plain
-rw-r--r--	translate.mli	433	log plain
-rw-r--r--	vernacrc	223	log plain
-rw-r--r--	vtp.ml	53064	log plain
-rw-r--r--	vtp.mli	587	log plain
-rw-r--r--	xlate.ml	92014	log plain
-rw-r--r--	xlate.mli	308	log plain