doc « dev - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	COMPATIBILITY	8249	log plain
-rw-r--r--	MERGING.md	8373	log plain
-rw-r--r--	README.md	2474	log plain
-rw-r--r--	build-system.dev.txt	6467	log plain
-rw-r--r--	build-system.dune.md	6656	log plain
-rw-r--r--	build-system.txt	5432	log plain
-rw-r--r--	changes.md	59222	log plain
-rw-r--r--	coq-src-description.txt	2099	log plain
-rw-r--r--	critical-bugs	12302	log plain
-rw-r--r--	debugging.md	4682	log plain
-rw-r--r--	drop.txt	1379	log plain
-rw-r--r--	econstr.md	5635	log plain
-rw-r--r--	extensions.txt	723	log plain
-rw-r--r--	naming-conventions.tex	22808	log plain
-rw-r--r--	newsyntax.tex	24842	log plain
-rw-r--r--	notes-on-conversion.v	2574	log plain
-rw-r--r--	old_svn_branches.txt	1345	log plain
-rw-r--r--	perf-analysis	5715	log plain
-rw-r--r--	primproj.md	2352	log plain
-rw-r--r--	profiling.txt	3866	log plain
-rw-r--r--	proof-engine.md	6999	log plain
-rw-r--r--	release-process.md	6204	log plain
-rw-r--r--	style.txt	6287	log plain
-rw-r--r--	unification.txt	5269	log plain
-rw-r--r--	universes.md	10603	log plain
-rw-r--r--	versions-history.tex	14820	log plain
-rw-r--r--	xml-protocol.md	22479	log plain