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	126	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	8245	log plain
-rw-r--r--	configwin_ihm.ml	26729	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	6512	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	20927	log plain
-rw-r--r--	coq.mli	7101	log plain
-rw-r--r--	coq.png	12907	log plain
-rw-r--r--	coq2.ico	4710	log plain
-rw-r--r--	coqOps.ml	31981	log plain
-rw-r--r--	coqOps.mli	1646	log plain
-rw-r--r--	coq_commands.ml	4931	log plain
-rw-r--r--	coq_commands.mli	743	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	5033	log plain
-rw-r--r--	coq_style.xml	1441	log plain
-rw-r--r--	coqide.ml	50863	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	2045	log plain
-rw-r--r--	coqide_X11.ml.in	693	log plain
-rw-r--r--	coqide_main.ml	2755	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	5929	log plain
-rw-r--r--	coqide_ui.mli	730	log plain
-rw-r--r--	default_bindings_src.ml	139281	log plain
-rw-r--r--	document.ml	6225	log plain
-rw-r--r--	document.mli	4713	log plain
-rw-r--r--	dune	1712	log plain
-rw-r--r--	fake_ide.ml	12121	log plain
-rw-r--r--	fileOps.ml	5034	log plain
-rw-r--r--	fileOps.mli	1115	log plain
-rw-r--r--	gtk_parsing.ml	2582	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	20975	log plain
-rw-r--r--	ideutils.ml	20244	log plain
-rw-r--r--	ideutils.mli	4568	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	13699	log plain
-rw-r--r--	microPG.mli	835	log plain
-rw-r--r--	minilib.ml	2161	log plain
-rw-r--r--	minilib.mli	1826	log plain
-rw-r--r--	preferences.ml	34706	log plain
-rw-r--r--	preferences.mli	4163	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	22218	log plain
-rw-r--r--	session.mli	1798	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	7163	log plain
-rw-r--r--	wg_Command.mli	995	log plain
-rw-r--r--	wg_Completion.ml	5720	log plain
-rw-r--r--	wg_Completion.mli	888	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	10483	log plain
-rw-r--r--	wg_Find.mli	975	log plain
-rw-r--r--	wg_MessageView.ml	5014	log plain
-rw-r--r--	wg_MessageView.mli	1379	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	10343	log plain
-rw-r--r--	wg_ProofView.mli	1047	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	19285	log plain
-rw-r--r--	wg_ScriptView.mli	2138	log plain
-rw-r--r--	wg_Segment.ml	4397	log plain
-rw-r--r--	wg_Segment.mli	1335	log plain