ide - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	FAQ	3020	log plain
-rw-r--r--	command_windows.ml	5186	log plain
-rw-r--r--	command_windows.mli	790	log plain
-rw-r--r--	config_lexer.mll	2016	log plain
-rw-r--r--	coq.ico	11326	log plain
-rw-r--r--	coq.ml	10102	log plain
-rw-r--r--	coq.mli	2567	log plain
-rw-r--r--	coq.png	6269	log plain
-rwxr-xr-x	coq2.ico	4710	log plain
-rw-r--r--	coq_commands.ml	7692	log plain
-rw-r--r--	coq_icon.rc	28	log plain
-rw-r--r--	coq_lex.mll	6866	log plain
-rw-r--r--	coqide-gtk2rc	903	log plain
-rw-r--r--	coqide.ml	110069	log plain
-rw-r--r--	coqide.mli	1496	log plain
-rw-r--r--	coqide_main.ml4	4223	log plain
-rw-r--r--	coqide_ui.ml	5072	log plain
-rw-r--r--	gtk_parsing.ml	6159	log plain
-rw-r--r--	ide.mllib	292	log plain
-rw-r--r--	ide_mac_stubs.c	3217	log plain
-rw-r--r--	ide_win32_stubs.c	1791	log plain
-rw-r--r--	ideproof.ml	5835	log plain
-rw-r--r--	ideutils.ml	11206	log plain
-rw-r--r--	ideutils.mli	2950	log plain
-rw-r--r--	mac_default_accel_map	20652	log plain
-rw-r--r--	minilib.ml	6019	log plain
-rw-r--r--	minilib.mli	1715	log plain
-rw-r--r--	preferences.ml	23872	log plain
-rw-r--r--	preferences.mli	2640	log plain
-rw-r--r--	project_file.ml4	7855	log plain
-rw-r--r--	tags.ml	3112	log plain
-rw-r--r--	tags.mli	1444	log plain
-rw-r--r--	typed_notebook.ml	2662	log plain
-rw-r--r--	undo.ml	5351	log plain
-rw-r--r--	undo_lablgtk_ge212.mli	1093	log plain
-rw-r--r--	undo_lablgtk_ge26.mli	1037	log plain
-rw-r--r--	undo_lablgtk_lt26.mli	1033	log plain
-rw-r--r--	utf8_convert.mll	1306	log plain
d---------	utils	466	log plain