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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Late update for 1.11	xleroy	2012-07-13	1	-4/+6
*	Merge of the newmem branch:	xleroy	2012-05-21	1	-1/+18
*	MAJ docv1.10	xleroy	2012-03-12	1	-11/+5
*	Doc fixes	xleroy	2011-08-23	2	-2/+3
*	Changelog, doc: updated for release 1.9v1.9	xleroy	2011-08-22	1	-1/+9
*	Update for release 1.8.2	xleroy	2011-05-24	1	-29/+38
*	Renamed Machconcr into Machsem.	xleroy	2011-04-09	1	-2/+1
*	Update for 1.8.1	xleroy	2011-03-14	1	-2/+2
*	Update for release 1.8	xleroy	2010-09-21	1	-5/+12
*	Merge of branches/full-expr-4:	xleroy	2010-08-18	1	-8/+17
*	Clean up	xleroy	2010-05-26	1	-25/+0
*	Update for 1.7	xleroy	2010-03-30	2	-2/+8
*	TeX and HTML escapes	xleroy	2010-03-12	1	-0/+4
*	New HTML documentation generator	xleroy	2010-03-09	4	-35/+559
*	MAJ release 1.6	xleroy	2010-01-12	1	-8/+5
*	Last updates for release 1.5.v1.5	xleroy	2009-08-28	1	-8/+16
*	MAJ	xleroy	2009-07-15	1	-11/+12
*	Various clean-upsv1.4	xleroy	2009-04-17	1	-2/+9
*	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