doc « dev - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	README-V1-V5.asciidoc	17675	log plain
-rw-r--r--	about-hints	10721	log plain
-rw-r--r--	build-system.dev.txt	5137	log plain
-rw-r--r--	build-system.txt	5454	log plain
-rw-r--r--	changes.md	46697	log plain
-rw-r--r--	cic.dtd	5563	log plain
-rw-r--r--	coq-src-description.txt	2285	log plain
-rw-r--r--	debugging.md	3240	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--	minicoq.tex	2947	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--	ocamlbuild.txt	1435	log plain
-rw-r--r--	old_svn_branches.txt	1345	log plain
-rw-r--r--	perf-analysis	5715	log plain
-rw-r--r--	profiling.txt	1880	log plain
-rw-r--r--	proof-engine.md	7285	log plain
-rw-r--r--	setup.txt	9235	log plain
-rw-r--r--	style.txt	6287	log plain
-rw-r--r--	transition-V5.10-V6	310	log plain
-rw-r--r--	transition-V6-V7	395	log plain
-rw-r--r--	translate.txt	16039	log plain
-rw-r--r--	unification.txt	5269	log plain
-rw-r--r--	universes.txt	634	log plain
-rw-r--r--	univpoly.txt	13382	log plain
-rw-r--r--	versions-history.tex	14447	log plain
-rw-r--r--	xml-protocol.md	22226	log plain