delta/ocaml.git - github.com: ocaml/ocaml

	Commit message (Expand)	Author	Age	Files	Lines
*	testsuite/external: update coq, lablgtk, alt-ergo	Damien Doligez	2013-11-28	1	-56/+77
*	update for latest trunk changes	Damien Doligez	2013-11-27	1	-110/+140
*	Merge branch 4.01 from 4.01.0+rc1 to 4.01.0	Damien Doligez	2013-09-12	1	-4/+28
*	Merge branch 4.01 from branching point to 4.01.0+rc1	Damien Doligez	2013-09-04	1	-37/+131
*	allow reinstalling without removing first	Damien Doligez	2013-06-06	1	-21/+30
*	update external tests -- camlp5 still missing because the AST has changed	Damien Doligez	2013-06-03	1	-0/+21
*	testsuite: allow testing without installing (continued)	Damien Doligez	2013-05-16	1	-1/+1
*	updates	Damien Doligez	2013-04-13	1	-2/+28
*	add compcert to the test suite	Damien Doligez	2013-04-04	1	-0/+22
*	update some programs	Damien Doligez	2013-03-18	1	-9/+9
*	update to latest version of a few programs	Damien Doligez	2013-02-26	1	-26/+234
*	add kaputt to the external test suite	Damien Doligez	2012-12-20	1	-0/+23
*	update hevea + small changes for cygwin	Damien Doligez	2012-09-28	1	-2/+2
*	remove some targets that stopped working on Mac OS X	Damien Doligez	2012-09-10	1	-3/+11
*	dependencies for ocamlnet; add back coq and framac	Damien Doligez	2012-08-09	1	-3/+3
*	extended test suite: significant programs from outside our team	Damien Doligez	2012-08-01	1	-0/+1241