ide - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	FAQ	2515	log plain
-rw-r--r--	config_lexer.mll	2019	log plain
-rw-r--r--	coq.ico	11326	log plain
-rw-r--r--	coq.lang	8251	log plain
-rw-r--r--	coq.ml	21988	log plain
-rw-r--r--	coq.mli	7096	log plain
-rw-r--r--	coq.png	6269	log plain
-rwxr-xr-x	coq2.ico	4710	log plain
-rw-r--r--	coqOps.ml	28425	log plain
-rw-r--r--	coqOps.mli	1416	log plain
-rw-r--r--	coq_commands.ml	7725	log plain
-rw-r--r--	coq_icon.rc	28	log plain
-rw-r--r--	coq_lex.mll	3087	log plain
-rw-r--r--	coq_style.xml	712	log plain
-rw-r--r--	coqide.ml	52725	log plain
-rw-r--r--	coqide.mli	1731	log plain
-rw-r--r--	coqide_main.ml4	4908	log plain
-rw-r--r--	coqide_ui.ml	5430	log plain
-rw-r--r--	document.ml	5230	log plain
-rw-r--r--	document.mli	4314	log plain
-rw-r--r--	fileOps.ml	4798	log plain
-rw-r--r--	fileOps.mli	905	log plain
-rw-r--r--	gtk_parsing.ml	6040	log plain
-rw-r--r--	ide.mllib	396	log plain
-rw-r--r--	ide_win32_stubs.c	1791	log plain
-rw-r--r--	ideutils.ml	13045	log plain
-rw-r--r--	ideutils.mli	3544	log plain
-rw-r--r--	mac_default_accel_map	23434	log plain
-rw-r--r--	minilib.ml	1714	log plain
-rw-r--r--	minilib.mli	929	log plain
-rw-r--r--	nanoPG.ml	5314	log plain
-rw-r--r--	preferences.ml	29262	log plain
-rw-r--r--	preferences.mli	3242	log plain
-rw-r--r--	project_file.ml4	8143	log plain
-rw-r--r--	sentence.ml	5230	log plain
-rw-r--r--	sentence.mli	858	log plain
-rw-r--r--	session.ml	12514	log plain
-rw-r--r--	session.mli	1175	log plain
-rw-r--r--	tags.ml	3273	log plain
-rw-r--r--	tags.mli	1582	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	15722	log plain
-rw-r--r--	wg_Completion.mli	1333	log plain
-rw-r--r--	wg_Detachable.ml	2786	log plain
-rw-r--r--	wg_Detachable.mli	1280	log plain
-rw-r--r--	wg_Find.ml	7988	log plain
-rw-r--r--	wg_Find.mli	825	log plain
-rw-r--r--	wg_MessageView.ml	2211	log plain
-rw-r--r--	wg_MessageView.mli	988	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	7173	log plain
-rw-r--r--	wg_ProofView.mli	827	log plain
-rw-r--r--	wg_ScriptView.ml	15649	log plain
-rw-r--r--	wg_ScriptView.mli	1963	log plain