toplevel - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	auto_ind_decl.ml	32916	log plain
-rw-r--r--	auto_ind_decl.mli	1136	log plain
-rw-r--r--	cerrors.ml	6567	log plain
-rw-r--r--	cerrors.mli	842	log plain
-rw-r--r--	class.ml	9291	log plain
-rw-r--r--	class.mli	2104	log plain
-rw-r--r--	classes.ml	18504	log plain
-rw-r--r--	classes.mli	2551	log plain
-rw-r--r--	command.ml	46838	log plain
-rw-r--r--	command.mli	5150	log plain
-rw-r--r--	coqinit.ml	5230	log plain
-rw-r--r--	coqinit.mli	984	log plain
-rw-r--r--	coqtop.ml	12015	log plain
-rw-r--r--	coqtop.mli	1140	log plain
-rw-r--r--	discharge.ml	3107	log plain
-rw-r--r--	discharge.mli	751	log plain
-rw-r--r--	doc.tex	246	log plain
-rw-r--r--	fhimsg.mli	2468	log plain
-rw-r--r--	himsg.ml	31610	log plain
-rw-r--r--	himsg.mli	1471	log plain
-rw-r--r--	ind_tables.ml	2911	log plain
-rw-r--r--	ind_tables.mli	1454	log plain
-rw-r--r--	line_oriented_parser.ml	1173	log plain
-rw-r--r--	line_oriented_parser.mli	735	log plain
-rw-r--r--	metasyntax.ml	38215	log plain
-rw-r--r--	metasyntax.mli	1834	log plain
-rw-r--r--	mltop.ml4	9725	log plain
-rw-r--r--	mltop.mli	2480	log plain
-rw-r--r--	protectedtoplevel.ml	5609	log plain
-rw-r--r--	protectedtoplevel.mli	1073	log plain
-rw-r--r--	record.ml	10868	log plain
-rw-r--r--	record.mli	1638	log plain
-rw-r--r--	searchisos.mli	869	log plain
-rw-r--r--	toplevel.ml	12737	log plain
-rw-r--r--	toplevel.mli	1676	log plain
-rw-r--r--	usage.ml	3867	log plain
-rw-r--r--	usage.mli	926	log plain
-rw-r--r--	vernac.ml	7999	log plain
-rw-r--r--	vernac.mli	1615	log plain
-rw-r--r--	vernacentries.ml	47743	log plain
-rw-r--r--	vernacentries.mli	2007	log plain
-rw-r--r--	vernacexpr.ml	10769	log plain
-rw-r--r--	vernacinterp.ml	2103	log plain
-rw-r--r--	vernacinterp.mli	964	log plain
-rw-r--r--	whelp.ml4	7732	log plain
-rw-r--r--	whelp.mli	856	log plain