ide - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	.coqide-gtk2rc	1127	log plain
-rw-r--r--	FAQ	3157	log plain
-rw-r--r--	blaster_window.ml	5833	log plain
-rw-r--r--	command_windows.ml	4756	log plain
-rw-r--r--	command_windows.mli	833	log plain
-rw-r--r--	config_lexer.mll	2006	log plain
-rw-r--r--	config_parser.mly	1028	log plain
-rw-r--r--	coq.ico	96774	log plain
-rw-r--r--	coq.ml	13889	log plain
-rw-r--r--	coq.mli	2094	log plain
-rw-r--r--	coq.png	9103	log plain
-rwxr-xr-x	coq2.ico	1526	log plain
-rw-r--r--	coq_commands.ml	7323	log plain
-rw-r--r--	coq_tactics.ml	2522	log plain
-rw-r--r--	coq_tactics.mli	628	log plain
-rw-r--r--	coqide.ml	103336	log plain
-rw-r--r--	coqide.mli	909	log plain
-rw-r--r--	extract_index.mll	1139	log plain
-rw-r--r--	find_phrase.mll	2058	log plain
-rw-r--r--	highlight.mll	3687	log plain
-rw-r--r--	ideutils.ml	9385	log plain
-rw-r--r--	ideutils.mli	2714	log plain
-rw-r--r--	index_urls.txt	21782	log plain
-rw-r--r--	preferences.ml	16876	log plain
-rw-r--r--	preferences.mli	2232	log plain
-rw-r--r--	undo.ml	5489	log plain
-rw-r--r--	undo_lablgtk_ge26.mli	1119	log plain
-rw-r--r--	undo_lablgtk_lt26.mli	1115	log plain
-rw-r--r--	utf8.v	2445	log plain
-rw-r--r--	utf8_convert.mll	1385	log plain
d---------	utils	512	log plain