ide - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	.coqide-gtk2rc	1127	log plain
-rw-r--r--	.cvsignore	163	log plain
-rw-r--r--	FAQ	3157	log plain
-rw-r--r--	blaster_window.ml	5763	log plain
-rw-r--r--	command_windows.ml	4684	log plain
-rw-r--r--	command_windows.mli	759	log plain
-rw-r--r--	config_lexer.mll	1937	log plain
-rw-r--r--	config_parser.mly	960	log plain
-rw-r--r--	coq.ml	13829	log plain
-rw-r--r--	coq.mli	2032	log plain
-rw-r--r--	coq.png	9101	log plain
-rw-r--r--	coq_commands.ml	8071	log plain
-rw-r--r--	coq_tactics.ml	2455	log plain
-rw-r--r--	coq_tactics.mli	558	log plain
-rw-r--r--	coqide.ml	102767	log plain
-rw-r--r--	coqide.mli	844	log plain
-rw-r--r--	extract_index.mll	1069	log plain
-rw-r--r--	find_phrase.mll	1930	log plain
-rw-r--r--	highlight.mll	3503	log plain
-rw-r--r--	ideutils.ml	8869	log plain
-rw-r--r--	ideutils.mli	2599	log plain
-rw-r--r--	index_urls.txt	21782	log plain
-rw-r--r--	preferences.ml	16835	log plain
-rw-r--r--	preferences.mli	2162	log plain
-rw-r--r--	undo.ml	5428	log plain
-rw-r--r--	undo.mli	1039	log plain
-rw-r--r--	utf8.v	1893	log plain
-rw-r--r--	utf8_convert.mll	1316	log plain
d---------	utils	550	log plain