sphinx « doc - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	README.rst	16273	log plain
-rw-r--r--	README.template.rst	8969	log plain
d---------	_static	408	log plain
d---------	addendum	654	log plain
-rw-r--r--	biblio.bib	13653	log plain
-rwxr-xr-x	conf.py	14659	log plain
-rw-r--r--	coq-cmdindex.rst	89	log plain
-rw-r--r--	coq-exnindex.rst	117	log plain
-rw-r--r--	coq-optindex.rst	135	log plain
-rw-r--r--	coq-tacindex.rst	80	log plain
-rw-r--r--	coqdoc.css	6650	log plain
-rw-r--r--	credits-contents.rst	69694	log plain
-rw-r--r--	credits.html.rst	73	log plain
-rw-r--r--	credits.latex.rst	48	log plain
-rw-r--r--	genindex.rst	57	log plain
-rw-r--r--	index.html.rst	1761	log plain
-rw-r--r--	index.latex.rst	1566	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	4010	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