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	4665	log plain
-rw-r--r--	command_windows.mli	750	log plain
-rw-r--r--	config_lexer.mll	1928	log plain
-rw-r--r--	config_parser.mly	953	log plain
-rw-r--r--	coq.ico	11326	log plain
-rw-r--r--	coq.ml	18890	log plain
-rw-r--r--	coq.mli	1535	log plain
-rw-r--r--	coq.png	2335	log plain
-rwxr-xr-x	coq2.ico	4710	log plain
-rw-r--r--	coq_commands.ml	7594	log plain
-rw-r--r--	coq_lex.mll	6456	log plain
-rw-r--r--	coq_tactics.ml	2450	log plain
-rw-r--r--	coq_tactics.mli	553	log plain
-rw-r--r--	coqide.ml	115487	log plain
-rw-r--r--	coqide.mli	838	log plain
-rw-r--r--	gtk_parsing.ml	6144	log plain
-rw-r--r--	highlight.mll	7000	log plain
-rw-r--r--	ide.mllib	273	log plain
-rw-r--r--	ideproof.ml	4137	log plain
-rw-r--r--	ideutils.ml	11839	log plain
-rw-r--r--	ideutils.mli	2715	log plain
-rw-r--r--	preferences.ml	19376	log plain
-rw-r--r--	preferences.mli	2398	log plain
-rw-r--r--	tags.ml	2294	log plain
-rw-r--r--	typed_notebook.ml	2652	log plain
d---------	uim	127	log plain
-rw-r--r--	undo.ml	5351	log plain
-rw-r--r--	undo_lablgtk_ge212.mli	1062	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