compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Use the standalone coq2html tool to generate the HTML documentation	Xavier Leroy	2018-06-01	1	-454/+0
\| \| \| \| \|	coq2html is now a standalone project (https://github.com/xavierleroy/coq2html) packaged as coq-coq2html in OPAM-Coq.
*	coq2html: use OCaml's alternate string literals for multi-line strings	Xavier Leroy	2018-05-30	1	-15/+15
\|
*	Also enable warnings for doc generator.	Bernhard Schommer	2016-04-06	1	-6/+6
\|
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-5/+5
\|
*	Preserve ordinary comments within proof scripts.	Xavier Leroy	2015-06-11	1	-6/+26
\|
*	Updates for release 2.2	xleroy	2014-02-21	1	-1/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2415 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Use "-as" to put CompCert modules in a compcert.xxx namespace.	xleroy	2013-05-01	1	-6/+14
\| \| \| \| \| \| \| \|	Simplified the scripts "coq" and "pg". Updated deps. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2228 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Updated documentationv1.12	xleroy	2013-01-11	1	-3/+3
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2098 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Doc fixes	xleroy	2011-08-23	1	-1/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1726 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Clean up	xleroy	2010-05-26	1	-25/+0
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1348 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	TeX and HTML escapes	xleroy	2010-03-12	1	-0/+4
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1289 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	New HTML documentation generator	xleroy	2010-03-09	1	-0/+447
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1286 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e