compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Revu traitement des variables globales dans AST.program et dans Globalenvs.	xleroy	2006-09-05	1	-15/+13
*	Revu la repartition des sources Coq en sous-repertoires	xleroy	2006-09-04	1	-0/+2595