doc « dev - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	COMPATIBILITY	8249	log plain
-rw-r--r--	MERGING.md	8241	log plain
-rw-r--r--	README-V1-V5.asciidoc	17675	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	5704	log plain
-rw-r--r--	build-system.txt	5432	log plain
-rw-r--r--	changes.md	58351	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	3899	log plain
-rw-r--r--	proof-engine.md	6999	log plain
-rw-r--r--	release-process.md	6537	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	14815	log plain
-rw-r--r--	xml-protocol.md	22479	log plain