refman « doc - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	AddRefMan-pre.tex	2184	log plain
-rw-r--r--	Cases.tex	25128	log plain
-rw-r--r--	Coercion.tex	18457	log plain
-rw-r--r--	Extraction.tex	23153	log plain
-rw-r--r--	Helm.tex	13846	log plain
-rw-r--r--	Natural.tex	11933	log plain
-rw-r--r--	Omega.tex	6831	log plain
-rw-r--r--	Polynom.tex	27249	log plain
-rw-r--r--	Program.tex	18428	log plain
-rw-r--r--	RefMan-add.tex	2199	log plain
-rw-r--r--	RefMan-cas.tex	23870	log plain
-rw-r--r--	RefMan-cic.tex	74651	log plain
-rw-r--r--	RefMan-coi.tex	16432	log plain
-rw-r--r--	RefMan-com.tex	9145	log plain
-rw-r--r--	RefMan-ext.tex	42697	log plain
-rw-r--r--	RefMan-gal.tex	61088	log plain
-rw-r--r--	RefMan-ide.tex	14057	log plain
-rw-r--r--	RefMan-ind.tex	17643	log plain
-rw-r--r--	RefMan-int.tex	6808	log plain
-rw-r--r--	RefMan-lib.tex	32030	log plain
-rw-r--r--	RefMan-ltac.tex	41485	log plain
-rw-r--r--	RefMan-mod.tex	10133	log plain
-rw-r--r--	RefMan-modr.tex	15316	log plain
-rw-r--r--	RefMan-oth.tex	32528	log plain
-rw-r--r--	RefMan-pre.tex	28791	log plain
-rw-r--r--	RefMan-pro.tex	12762	log plain
-rw-r--r--	RefMan-syn.tex	41975	log plain
-rw-r--r--	RefMan-tac.tex	125649	log plain
-rw-r--r--	RefMan-tacex.tex	33805	log plain
-rw-r--r--	RefMan-tus.tex	82611	log plain
-rw-r--r--	RefMan-uti.tex	10670	log plain
-rw-r--r--	Reference-Manual.tex	3009	log plain
-rw-r--r--	Setoid.tex	24121	log plain
-rw-r--r--	biblio.bib	42294	log plain
-rw-r--r--	coqdoc.tex	14903	log plain
-rw-r--r--	coqide-queries.png	27316	log plain
-rw-r--r--	coqide.png	20953	log plain
-rw-r--r--	cover.html	1309	log plain
-rw-r--r--	headers.tex	3503	log plain
-rw-r--r--	hevea.sty	2685	log plain
-rw-r--r--	index.html	187	log plain
-rw-r--r--	menu.html	837	log plain