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	171	log plain
-rw-r--r--	Make	75	log plain
-rw-r--r--	config_lexer.mli	797	log plain
-rw-r--r--	config_lexer.mll	2177	log plain
-rw-r--r--	configwin.ml	2806	log plain
-rw-r--r--	configwin.mli	8113	log plain
-rw-r--r--	configwin_ihm.ml	25127	log plain
-rw-r--r--	configwin_ihm.mli	3490	log plain
-rw-r--r--	configwin_messages.ml	2575	log plain
-rw-r--r--	configwin_types.ml	6486	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	20312	log plain
-rw-r--r--	coq.mli	7066	log plain
-rw-r--r--	coq.png	12907	log plain
-rwxr-xr-x	coq2.ico	4710	log plain
-rw-r--r--	coqOps.ml	33535	log plain
-rw-r--r--	coqOps.mli	1698	log plain
-rw-r--r--	coq_commands.ml	7841	log plain
-rw-r--r--	coq_commands.mli	774	log plain
-rw-r--r--	coq_icon.rc	28	log plain
-rw-r--r--	coq_lex.mli	769	log plain
-rw-r--r--	coq_lex.mll	3481	log plain
-rw-r--r--	coq_style.xml	1441	log plain
-rw-r--r--	coqide.ml	48395	log plain
-rw-r--r--	coqide.mli	1836	log plain
-rw-r--r--	coqide_main.ml4	5075	log plain
-rw-r--r--	coqide_main.mli	808	log plain
-rw-r--r--	coqide_ui.ml	6214	log plain
-rw-r--r--	coqide_ui.mli	730	log plain
-rw-r--r--	document.ml	6240	log plain
-rw-r--r--	document.mli	4719	log plain
-rw-r--r--	fileOps.ml	4911	log plain
-rw-r--r--	fileOps.mli	1055	log plain
-rw-r--r--	gtk_parsing.ml	2538	log plain
-rw-r--r--	gtk_parsing.mli	1286	log plain
-rw-r--r--	ide.mllib	373	log plain
-rw-r--r--	ide_common.mllib	71	log plain
-rw-r--r--	ide_win32_stubs.c	1791	log plain
-rw-r--r--	idetop.ml	17934	log plain
-rw-r--r--	ideutils.ml	15779	log plain
-rw-r--r--	ideutils.mli	3830	log plain
-rw-r--r--	macos_prehook.ml	1530	log plain
-rw-r--r--	macos_prehook.mli	808	log plain
-rw-r--r--	minilib.ml	2239	log plain
-rw-r--r--	minilib.mli	1272	log plain
-rw-r--r--	nanoPG.ml	13129	log plain
-rw-r--r--	nanoPG.mli	835	log plain
-rw-r--r--	preferences.ml	32842	log plain
-rw-r--r--	preferences.mli	4036	log plain
d---------	protocol	576	log plain
-rw-r--r--	sentence.ml	5442	log plain
-rw-r--r--	sentence.mli	1008	log plain
-rw-r--r--	session.ml	20900	log plain
-rw-r--r--	session.mli	1763	log plain
-rw-r--r--	tags.ml	2622	log plain
-rw-r--r--	tags.mli	1457	log plain
-rw-r--r--	utf8_convert.mli	701	log plain
-rw-r--r--	utf8_convert.mll	1457	log plain
-rw-r--r--	wg_Command.ml	6983	log plain
-rw-r--r--	wg_Command.mli	995	log plain
-rw-r--r--	wg_Completion.ml	15997	log plain
-rw-r--r--	wg_Completion.mli	1483	log plain
-rw-r--r--	wg_Detachable.ml	3050	log plain
-rw-r--r--	wg_Detachable.mli	1560	log plain
-rw-r--r--	wg_Find.ml	10417	log plain
-rw-r--r--	wg_Find.mli	975	log plain
-rw-r--r--	wg_MessageView.ml	4796	log plain
-rw-r--r--	wg_MessageView.mli	1324	log plain
-rw-r--r--	wg_Notebook.ml	2798	log plain
-rw-r--r--	wg_Notebook.mli	1524	log plain
-rw-r--r--	wg_ProofView.ml	10126	log plain
-rw-r--r--	wg_ProofView.mli	993	log plain
-rw-r--r--	wg_RoutedMessageViews.ml	1746	log plain
-rw-r--r--	wg_RoutedMessageViews.mli	1082	log plain
-rw-r--r--	wg_ScriptView.ml	17186	log plain
-rw-r--r--	wg_ScriptView.mli	2113	log plain
-rw-r--r--	wg_Segment.ml	4954	log plain
-rw-r--r--	wg_Segment.mli	1335	log plain