compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	Update for release 1.3	xleroy	2008-08-11	1	-1/+2
*	Plus besoin de rectifier les URL invalides	xleroy	2008-08-01	1	-0/+2
*	Revu removeproof	xleroy	2008-03-19	3	-25/+42
*	MAJ	xleroy	2007-10-17	2	-5/+6
*	Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...	xleroy	2007-08-28	2	-2/+5
*	Documentation	xleroy	2007-08-05	1	-21/+35
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	5	-8545/+334
*	MAJ fichier ppal	xleroy	2006-02-09	1	-63/+63
*	Initial import of compcert	xleroy	2006-02-09	4	-0/+8585