ide - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	FAQ	2515	log plain
-rw-r--r--	config_lexer.mll	2016	log plain
-rw-r--r--	coq.ico	11326	log plain
-rw-r--r--	coq.lang	8114	log plain
-rw-r--r--	coq.ml	8512	log plain
-rw-r--r--	coq.mli	2487	log plain
-rw-r--r--	coq.png	6269	log plain
-rwxr-xr-x	coq2.ico	4710	log plain
-rw-r--r--	coq_commands.ml	7692	log plain
-rw-r--r--	coq_icon.rc	28	log plain
-rw-r--r--	coq_lex.mll	2885	log plain
-rw-r--r--	coq_style.xml	712	log plain
-rw-r--r--	coqide.ml	92534	log plain
-rw-r--r--	coqide.mli	1604	log plain
-rw-r--r--	coqide_main.ml4	3968	log plain
-rw-r--r--	coqide_ui.ml	5095	log plain
-rw-r--r--	gtk_parsing.ml	6058	log plain
-rw-r--r--	ide.mllib	301	log plain
-rw-r--r--	ide_mac_stubs.c	3247	log plain
-rw-r--r--	ide_win32_stubs.c	1791	log plain
-rw-r--r--	ideproof.ml	5835	log plain
-rw-r--r--	ideutils.ml	10839	log plain
-rw-r--r--	ideutils.mli	2648	log plain
-rw-r--r--	mac_default_accel_map	23490	log plain
-rw-r--r--	minilib.ml	5778	log plain
-rw-r--r--	minilib.mli	1755	log plain
-rw-r--r--	preferences.ml	27399	log plain
-rw-r--r--	preferences.mli	3049	log plain
-rw-r--r--	project_file.ml4	7855	log plain
-rw-r--r--	tags.ml	2534	log plain
-rw-r--r--	tags.mli	1256	log plain
-rw-r--r--	utf8_convert.mll	1306	log plain
d---------	utils	466	log plain
-rw-r--r--	wg_Command.ml	5144	log plain
-rw-r--r--	wg_Command.mli	766	log plain
-rw-r--r--	wg_Find.ml	6981	log plain
-rw-r--r--	wg_Find.mli	859	log plain
-rw-r--r--	wg_Notebook.ml	2662	log plain
-rw-r--r--	wg_Notebook.mli	1352	log plain
-rw-r--r--	wg_ScriptView.ml	7863	log plain
-rw-r--r--	wg_ScriptView.mli	1823	log plain