ide - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	.merlin	61	log plain
-rw-r--r--	FAQ	2514	log plain
d---------	MacOS	227	log plain
-rw-r--r--	Make	75	log plain
-rw-r--r--	config_lexer.mli	647	log plain
-rw-r--r--	config_lexer.mll	2027	log plain
-rw-r--r--	coq-ssreflect.lang	9695	log plain
-rw-r--r--	coq.ico	11326	log plain
-rw-r--r--	coq.lang	9946	log plain
-rw-r--r--	coq.ml	20187	log plain
-rw-r--r--	coq.mli	6916	log plain
-rw-r--r--	coq.png	12907	log plain
-rwxr-xr-x	coq2.ico	4710	log plain
-rw-r--r--	coqOps.ml	33545	log plain
-rw-r--r--	coqOps.mli	1469	log plain
-rw-r--r--	coq_commands.ml	7691	log plain
-rw-r--r--	coq_commands.mli	624	log plain
-rw-r--r--	coq_icon.rc	28	log plain
-rw-r--r--	coq_lex.mli	619	log plain
-rw-r--r--	coq_lex.mll	3331	log plain
-rw-r--r--	coq_style.xml	1441	log plain
-rw-r--r--	coqide.ml	48703	log plain
-rw-r--r--	coqide.mli	1686	log plain
-rw-r--r--	coqide_main.ml4	4925	log plain
-rw-r--r--	coqide_main.mli	658	log plain
-rw-r--r--	coqide_ui.ml	6214	log plain
-rw-r--r--	coqide_ui.mli	580	log plain
-rw-r--r--	coqidetop.mllib	81	log plain
-rw-r--r--	document.ml	6090	log plain
-rw-r--r--	document.mli	4569	log plain
-rw-r--r--	fileOps.ml	4761	log plain
-rw-r--r--	fileOps.mli	905	log plain
-rw-r--r--	gtk_parsing.ml	2388	log plain
-rw-r--r--	gtk_parsing.mli	1136	log plain
-rw-r--r--	ide.mllib	435	log plain
-rw-r--r--	ide_slave.ml	18069	log plain
-rw-r--r--	ide_slave.mli	658	log plain
-rw-r--r--	ide_win32_stubs.c	1791	log plain
-rw-r--r--	ideutils.ml	15446	log plain
-rw-r--r--	ideutils.mli	3559	log plain
-rw-r--r--	interface.mli	8842	log plain
-rw-r--r--	macos_prehook.ml	1530	log plain
-rw-r--r--	macos_prehook.mli	658	log plain
-rw-r--r--	minilib.ml	2082	log plain
-rw-r--r--	minilib.mli	1115	log plain
-rw-r--r--	nanoPG.ml	12979	log plain
-rw-r--r--	nanoPG.mli	685	log plain
-rw-r--r--	preferences.ml	32692	log plain
-rw-r--r--	preferences.mli	3886	log plain
-rw-r--r--	richpp.ml	4975	log plain
-rw-r--r--	richpp.mli	1977	log plain
-rw-r--r--	sentence.ml	5292	log plain
-rw-r--r--	sentence.mli	858	log plain
-rw-r--r--	serialize.ml	4506	log plain
-rw-r--r--	serialize.mli	1618	log plain
-rw-r--r--	session.ml	20653	log plain
-rw-r--r--	session.mli	1598	log plain
-rw-r--r--	tags.ml	2472	log plain
-rw-r--r--	tags.mli	1307	log plain
-rw-r--r--	utf8_convert.mli	551	log plain
-rw-r--r--	utf8_convert.mll	1307	log plain
d---------	utils	266	log plain
-rw-r--r--	wg_Command.ml	6832	log plain
-rw-r--r--	wg_Command.mli	799	log plain
-rw-r--r--	wg_Completion.ml	15847	log plain
-rw-r--r--	wg_Completion.mli	1333	log plain
-rw-r--r--	wg_Detachable.ml	2900	log plain
-rw-r--r--	wg_Detachable.mli	1410	log plain
-rw-r--r--	wg_Find.ml	10267	log plain
-rw-r--r--	wg_Find.mli	825	log plain
-rw-r--r--	wg_MessageView.ml	4509	log plain
-rw-r--r--	wg_MessageView.mli	1181	log plain
-rw-r--r--	wg_Notebook.ml	2648	log plain
-rw-r--r--	wg_Notebook.mli	1374	log plain
-rw-r--r--	wg_ProofView.ml	9981	log plain
-rw-r--r--	wg_ProofView.mli	843	log plain
-rw-r--r--	wg_ScriptView.ml	17036	log plain
-rw-r--r--	wg_ScriptView.mli	1963	log plain
-rw-r--r--	wg_Segment.ml	4804	log plain
-rw-r--r--	wg_Segment.mli	1185	log plain
-rw-r--r--	xml_lexer.mli	1385	log plain
-rw-r--r--	xml_lexer.mll	9509	log plain
-rw-r--r--	xml_parser.ml	6439	log plain
-rw-r--r--	xml_parser.mli	3604	log plain
-rw-r--r--	xml_printer.ml	3588	log plain
-rw-r--r--	xml_printer.mli	1176	log plain
-rw-r--r--	xmlprotocol.ml	41332	log plain
-rw-r--r--	xmlprotocol.mli	2632	log plain