ide - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	.coqide-gtk2rc	1127	log plain
-rw-r--r--	FAQ	3157	log plain
-rw-r--r--	command_windows.ml	4695	log plain
-rw-r--r--	command_windows.mli	764	log plain
-rw-r--r--	config_lexer.mll	1944	log plain
-rw-r--r--	config_parser.mly	965	log plain
-rw-r--r--	coq.ico	11326	log plain
-rw-r--r--	coq.ml	22643	log plain
-rw-r--r--	coq.mli	3023	log plain
-rw-r--r--	coq.png	6269	log plain
-rwxr-xr-x	coq2.ico	4710	log plain
-rw-r--r--	coq_commands.ml	7613	log plain
-rw-r--r--	coq_tactics.ml	2462	log plain
-rw-r--r--	coq_tactics.mli	567	log plain
-rw-r--r--	coqide.ml	129242	log plain
-rw-r--r--	coqide.mli	853	log plain
-rw-r--r--	gtk_parsing.ml	6197	log plain
-rw-r--r--	highlight.mll	6467	log plain
-rw-r--r--	ideutils.ml	11214	log plain
-rw-r--r--	ideutils.mli	2700	log plain
-rw-r--r--	preferences.ml	19028	log plain
-rw-r--r--	preferences.mli	2378	log plain
-rw-r--r--	typed_notebook.ml	2724	log plain
-rw-r--r--	undo.ml	5417	log plain
-rw-r--r--	undo_lablgtk_ge212.mli	1136	log plain
-rw-r--r--	undo_lablgtk_ge26.mli	1052	log plain
-rw-r--r--	undo_lablgtk_lt26.mli	1048	log plain
-rw-r--r--	utf8_convert.mll	1323	log plain
d---------	utils	506	log plain