ide - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	.merlin	47	log plain
-rw-r--r--	FAQ	2515	log plain
d---------	MacOS	227	log plain
-rw-r--r--	Make	75	log plain
-rw-r--r--	config_lexer.mll	2019	log plain
-rw-r--r--	coq-ssreflect.lang	9651	log plain
-rw-r--r--	coq.ico	11326	log plain
-rw-r--r--	coq.lang	8666	log plain
-rw-r--r--	coq.ml	20213	log plain
-rw-r--r--	coq.mli	6937	log plain
-rw-r--r--	coq.png	71924	log plain
-rwxr-xr-x	coq2.ico	4710	log plain
-rw-r--r--	coqOps.ml	31327	log plain
-rw-r--r--	coqOps.mli	1487	log plain
-rw-r--r--	coq_commands.ml	7705	log plain
-rw-r--r--	coq_icon.rc	28	log plain
-rw-r--r--	coq_lex.mll	3133	log plain
-rw-r--r--	coq_style.xml	1441	log plain
-rw-r--r--	coqide.ml	50558	log plain
-rw-r--r--	coqide.mli	1731	log plain
-rw-r--r--	coqide_main.ml4	4996	log plain
-rw-r--r--	coqide_ui.ml	5391	log plain
-rw-r--r--	coqidetop.mllib	22	log plain
-rw-r--r--	document.ml	5862	log plain
-rw-r--r--	document.mli	4527	log plain
-rw-r--r--	fileOps.ml	4803	log plain
-rw-r--r--	fileOps.mli	905	log plain
-rw-r--r--	gtk_parsing.ml	6550	log plain
-rw-r--r--	ide.mllib	419	log plain
-rw-r--r--	ide_slave.ml	17063	log plain
-rw-r--r--	ide_win32_stubs.c	1791	log plain
-rw-r--r--	ideutils.ml	13167	log plain
-rw-r--r--	ideutils.mli	3422	log plain
-rw-r--r--	interface.mli	8364	log plain
-rw-r--r--	macos_prehook.ml	1530	log plain
-rw-r--r--	minilib.ml	2053	log plain
-rw-r--r--	minilib.mli	1063	log plain
-rw-r--r--	nanoPG.ml	12983	log plain
-rw-r--r--	preferences.ml	30962	log plain
-rw-r--r--	preferences.mli	3412	log plain
-rw-r--r--	project_file.ml4	9039	log plain
-rw-r--r--	sentence.ml	5246	log plain
-rw-r--r--	sentence.mli	858	log plain
-rw-r--r--	session.ml	20552	log plain
-rw-r--r--	session.mli	1617	log plain
-rw-r--r--	tags.ml	4125	log plain
-rw-r--r--	tags.mli	1871	log plain
-rw-r--r--	utf8_convert.mll	1306	log plain
d---------	utils	466	log plain
-rw-r--r--	wg_Command.ml	6338	log plain
-rw-r--r--	wg_Command.mli	861	log plain
-rw-r--r--	wg_Completion.ml	15723	log plain
-rw-r--r--	wg_Completion.mli	1333	log plain
-rw-r--r--	wg_Detachable.ml	2879	log plain
-rw-r--r--	wg_Detachable.mli	1410	log plain
-rw-r--r--	wg_Find.ml	8283	log plain
-rw-r--r--	wg_Find.mli	825	log plain
-rw-r--r--	wg_MessageView.ml	3119	log plain
-rw-r--r--	wg_MessageView.mli	1248	log plain
-rw-r--r--	wg_Notebook.ml	2647	log plain
-rw-r--r--	wg_Notebook.mli	1374	log plain
-rw-r--r--	wg_ProofView.ml	8148	log plain
-rw-r--r--	wg_ProofView.mli	860	log plain
-rw-r--r--	wg_ScriptView.ml	15856	log plain
-rw-r--r--	wg_ScriptView.mli	1963	log plain
-rw-r--r--	wg_Segment.ml	5071	log plain
-rw-r--r--	wg_Segment.mli	1051	log plain
-rw-r--r--	xmlprotocol.ml	32211	log plain
-rw-r--r--	xmlprotocol.mli	2117	log plain