toplevel - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	auto_ind_decl.ml	34759	log plain
-rw-r--r--	auto_ind_decl.mli	1443	log plain
-rw-r--r--	autoinstance.ml	11971	log plain
-rw-r--r--	autoinstance.mli	1529	log plain
-rw-r--r--	cerrors.ml	7347	log plain
-rw-r--r--	cerrors.mli	1120	log plain
-rw-r--r--	class.ml	9016	log plain
-rw-r--r--	class.mli	2103	log plain
-rw-r--r--	classes.ml	11453	log plain
-rw-r--r--	classes.mli	2100	log plain
-rw-r--r--	command.ml	24235	log plain
-rw-r--r--	command.mli	5339	log plain
-rw-r--r--	coqinit.ml	4689	log plain
-rw-r--r--	coqinit.mli	985	log plain
-rw-r--r--	coqtop.ml	12862	log plain
-rw-r--r--	coqtop.mli	1138	log plain
-rw-r--r--	discharge.ml	3100	log plain
-rw-r--r--	discharge.mli	751	log plain
-rw-r--r--	doc.tex	246	log plain
-rw-r--r--	himsg.ml	33142	log plain
-rw-r--r--	himsg.mli	1477	log plain
-rw-r--r--	ind_tables.ml	6312	log plain
-rw-r--r--	ind_tables.mli	1939	log plain
-rw-r--r--	indschemes.ml	16022	log plain
-rw-r--r--	indschemes.mli	1807	log plain
-rw-r--r--	lemmas.ml	13304	log plain
-rw-r--r--	lemmas.mli	2497	log plain
-rw-r--r--	libtypes.ml	3028	log plain
-rw-r--r--	libtypes.mli	1227	log plain
-rw-r--r--	metasyntax.ml	43867	log plain
-rw-r--r--	metasyntax.mli	2162	log plain
-rw-r--r--	mltop.ml4	10743	log plain
-rw-r--r--	mltop.mli	2342	log plain
-rw-r--r--	record.ml	16368	log plain
-rw-r--r--	record.mli	1808	log plain
-rw-r--r--	search.ml	7469	log plain
-rw-r--r--	search.mli	2298	log plain
-rw-r--r--	toplevel.ml	12865	log plain
-rw-r--r--	toplevel.mli	1676	log plain
-rw-r--r--	toplevel.mllib	211	log plain
-rw-r--r--	usage.ml	4545	log plain
-rw-r--r--	usage.mli	1004	log plain
-rw-r--r--	vernac.ml	9258	log plain
-rw-r--r--	vernac.mli	1615	log plain
-rw-r--r--	vernacentries.ml	49530	log plain
-rw-r--r--	vernacentries.mli	2029	log plain
-rw-r--r--	vernacexpr.ml	16017	log plain
-rw-r--r--	vernacinterp.ml	2054	log plain
-rw-r--r--	vernacinterp.mli	963	log plain
-rw-r--r--	whelp.ml4	7702	log plain
-rw-r--r--	whelp.mli	856	log plain