ide - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	.merlin.in	84	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	2828	log plain
-rw-r--r--	configwin.mli	8147	log plain
-rw-r--r--	configwin_ihm.ml	25784	log plain
-rw-r--r--	configwin_ihm.mli	3783	log plain
-rw-r--r--	configwin_messages.ml	2575	log plain
-rw-r--r--	configwin_types.ml	6477	log plain
-rw-r--r--	coq-ssreflect.lang	9756	log plain
-rw-r--r--	coq.ico	11326	log plain
-rw-r--r--	coq.lang	9946	log plain
-rw-r--r--	coq.ml	20829	log plain
-rw-r--r--	coq.mli	7101	log plain
-rw-r--r--	coq.png	12907	log plain
-rwxr-xr-x	coq2.ico	4710	log plain
-rw-r--r--	coqOps.ml	33533	log plain
-rw-r--r--	coqOps.mli	1698	log plain
-rw-r--r--	coq_commands.ml	7825	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	3579	log plain
-rw-r--r--	coq_style.xml	1441	log plain
-rw-r--r--	coqide.ml	50437	log plain
-rw-r--r--	coqide.mli	1872	log plain
-rw-r--r--	coqide_QUARTZ.ml.in	1579	log plain
-rw-r--r--	coqide_WIN32.ml.in	1963	log plain
-rw-r--r--	coqide_X11.ml.in	693	log plain
-rw-r--r--	coqide_main.ml	2724	log plain
-rw-r--r--	coqide_main.mli	808	log plain
-rw-r--r--	coqide_os_specific.mli	700	log plain
-rw-r--r--	coqide_ui.ml	6382	log plain
-rw-r--r--	coqide_ui.mli	730	log plain
-rw-r--r--	default_bindings_src.ml	139386	log plain
-rw-r--r--	document.ml	6240	log plain
-rw-r--r--	document.mli	4719	log plain
-rw-r--r--	dune	1571	log plain
-rw-r--r--	fake_ide.ml	12379	log plain
-rw-r--r--	fileOps.ml	5034	log plain
-rw-r--r--	fileOps.mli	1115	log plain
-rw-r--r--	gtk_parsing.ml	2634	log plain
-rw-r--r--	gtk_parsing.mli	1286	log plain
-rw-r--r--	ide.mllib	384	log plain
-rw-r--r--	ide_common.mllib	71	log plain
-rw-r--r--	ide_win32_stubs.c	1283	log plain
-rw-r--r--	idetop.ml	19718	log plain
-rw-r--r--	ideutils.ml	17029	log plain
-rw-r--r--	ideutils.mli	3871	log plain
-rw-r--r--	macos_prehook.ml	1530	log plain
-rw-r--r--	macos_prehook.mli	808	log plain
-rw-r--r--	microPG.ml	13782	log plain
-rw-r--r--	microPG.mli	835	log plain
-rw-r--r--	minilib.ml	2239	log plain
-rw-r--r--	minilib.mli	1272	log plain
-rw-r--r--	preferences.ml	33191	log plain
-rw-r--r--	preferences.mli	4184	log plain
d---------	protocol	608	log plain
-rw-r--r--	sentence.ml	5440	log plain
-rw-r--r--	sentence.mli	1008	log plain
-rw-r--r--	session.ml	21469	log plain
-rw-r--r--	session.mli	1763	log plain
-rw-r--r--	tags.ml	2316	log plain
-rw-r--r--	tags.mli	1372	log plain
-rw-r--r--	unicode_bindings.ml	4830	log plain
-rw-r--r--	unicode_bindings.mli	2152	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	7142	log plain
-rw-r--r--	wg_Command.mli	995	log plain
-rw-r--r--	wg_Completion.ml	15981	log plain
-rw-r--r--	wg_Completion.mli	1483	log plain
-rw-r--r--	wg_Detachable.ml	3195	log plain
-rw-r--r--	wg_Detachable.mli	1560	log plain
-rw-r--r--	wg_Find.ml	10491	log plain
-rw-r--r--	wg_Find.mli	975	log plain
-rw-r--r--	wg_MessageView.ml	4861	log plain
-rw-r--r--	wg_MessageView.mli	1325	log plain
-rw-r--r--	wg_Notebook.ml	2798	log plain
-rw-r--r--	wg_Notebook.mli	1499	log plain
-rw-r--r--	wg_ProofView.ml	10190	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	19137	log plain
-rw-r--r--	wg_ScriptView.mli	2159	log plain
-rw-r--r--	wg_Segment.ml	4397	log plain
-rw-r--r--	wg_Segment.mli	1335	log plain