sphinx « doc - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	README.rst	18768	log plain
-rw-r--r--	README.template.rst	10176	log plain
d---------	_static	869	log plain
d---------	_templates	41	log plain
d---------	addendum	691	log plain
d---------	appendix	80	log plain
-rw-r--r--	biblio.bib	21487	log plain
-rw-r--r--	changes.rst	354953	log plain
-rwxr-xr-x	conf.py	16500	log plain
-rw-r--r--	coq-attrindex.rst	109	log plain
-rw-r--r--	coq-cmdindex.rst	109	log plain
-rw-r--r--	coq-exnindex.rst	117	log plain
-rw-r--r--	coq-optindex.rst	155	log plain
-rw-r--r--	coq-tacindex.rst	99	log plain
-rw-r--r--	dune	259	log plain
-rw-r--r--	genindex.rst	81	log plain
-rw-r--r--	history.rst	62920	log plain
-rw-r--r--	index.html.rst	660	log plain
-rw-r--r--	index.latex.rst	640	log plain
-rw-r--r--	introduction.rst	3547	log plain
d---------	language	303	log plain
-rw-r--r--	license.rst	312	log plain
d---------	practical-tools	123	log plain
d---------	proof-engine	321	log plain
d---------	proofs	128	log plain
-rw-r--r--	refman-preamble.rst	1447	log plain
-rw-r--r--	refman-preamble.sty	2788	log plain
-rw-r--r--	std-glossindex.rst	105	log plain
d---------	user-extensions	94	log plain
d---------	using	68	log plain
-rw-r--r--	zebibliography.html.rst	729	log plain
-rw-r--r--	zebibliography.latex.rst	103	log plain