sphinx « doc - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	README.rst	13887	log plain
-rw-r--r--	README.template.rst	7212	log plain
d---------	_static	408	log plain
d---------	addendum	654	log plain
-rw-r--r--	biblio.bib	13658	log plain
-rwxr-xr-x	conf.py	14445	log plain
-rw-r--r--	coq-cmdindex.rst	79	log plain
-rw-r--r--	coq-exnindex.rst	98	log plain
-rw-r--r--	coq-optindex.rst	78	log plain
-rw-r--r--	coq-tacindex.rst	70	log plain
-rw-r--r--	coqdoc.css	6650	log plain
-rw-r--r--	credits-wrapper.html.rst	64	log plain
-rw-r--r--	credits-wrapper.latex.rst	39	log plain
-rw-r--r--	credits.rst	69694	log plain
-rw-r--r--	genindex.rst	47	log plain
-rw-r--r--	index.html.rst	1809	log plain
-rw-r--r--	index.latex.rst	1365	log plain
-rw-r--r--	introduction.rst	5463	log plain
d---------	language	235	log plain
-rw-r--r--	license.rst	274	log plain
d---------	practical-tools	123	log plain
d---------	proof-engine	284	log plain
-rw-r--r--	refman-preamble.rst	4018	log plain
-rw-r--r--	refman-preamble.sty	3353	log plain
d---------	user-extensions	94	log plain
-rw-r--r--	zebibliography.html.rst	729	log plain
-rw-r--r--	zebibliography.latex.rst	103	log plain