toplevel - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	auto_ind_decl.ml	32883	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	9402	log plain
-rw-r--r--	class.mli	2104	log plain
-rw-r--r--	classes.ml	10479	log plain
-rw-r--r--	classes.mli	1851	log plain
-rw-r--r--	command.ml	47341	log plain
-rw-r--r--	command.mli	5335	log plain
-rw-r--r--	coqinit.ml	4885	log plain
-rw-r--r--	coqinit.mli	984	log plain
-rw-r--r--	coqtop.ml	12587	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	32029	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	38696	log plain
-rw-r--r--	metasyntax.mli	1927	log plain
-rw-r--r--	mltop.ml4	10838	log plain
-rw-r--r--	mltop.mli	2359	log plain
-rw-r--r--	protectedtoplevel.ml	5737	log plain
-rw-r--r--	protectedtoplevel.mli	1073	log plain
-rw-r--r--	record.ml	15532	log plain
-rw-r--r--	record.mli	1752	log plain
-rw-r--r--	searchisos.mli	869	log plain
-rw-r--r--	toplevel.ml	12911	log plain
-rw-r--r--	toplevel.mli	1676	log plain
-rw-r--r--	usage.ml	4398	log plain
-rw-r--r--	usage.mli	1001	log plain
-rw-r--r--	vernac.ml	8334	log plain
-rw-r--r--	vernac.mli	1615	log plain
-rw-r--r--	vernacentries.ml	49091	log plain
-rw-r--r--	vernacentries.mli	2007	log plain
-rw-r--r--	vernacexpr.ml	12999	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