compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	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