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--	command_windows.ml	4717	log plain
-rw-r--r--	command_windows.mli	822	log plain
-rw-r--r--	config_lexer.mll	1995	log plain
-rw-r--r--	config_parser.mly	1023	log plain
-rw-r--r--	coq.ico	11326	log plain
-rw-r--r--	coq.ml	23059	log plain
-rw-r--r--	coq.mli	2590	log plain
-rw-r--r--	coq.png	6269	log plain
-rwxr-xr-x	coq2.ico	4710	log plain
-rw-r--r--	coq_commands.ml	7660	log plain
-rw-r--r--	coq_lex.mll	6254	log plain
-rw-r--r--	coq_tactics.ml	2515	log plain
-rw-r--r--	coq_tactics.mli	621	log plain
-rw-r--r--	coqide.ml	123695	log plain
-rw-r--r--	coqide.mli	901	log plain
-rw-r--r--	gtk_parsing.ml	6202	log plain
-rw-r--r--	highlight.mll	7064	log plain
-rw-r--r--	ide.mllib	264	log plain
-rw-r--r--	ideutils.ml	11901	log plain
-rw-r--r--	ideutils.mli	2780	log plain
-rw-r--r--	preferences.ml	19441	log plain
-rw-r--r--	preferences.mli	2466	log plain
-rw-r--r--	tags.ml	2308	log plain
-rw-r--r--	typed_notebook.ml	2722	log plain
d---------	uim	127	log plain
-rw-r--r--	undo.ml	5409	log plain
-rw-r--r--	undo_lablgtk_ge212.mli	1166	log plain
-rw-r--r--	undo_lablgtk_ge26.mli	1111	log plain
-rw-r--r--	undo_lablgtk_lt26.mli	1107	log plain
-rw-r--r--	utf8_convert.mll	1373	log plain
d---------	utils	466	log plain