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

	Commit message (Expand)	Author	Age	Files	Lines
*	Accept change of internal ids.	Alain Frisch	2013-10-23	2	-12/+12
*	Fix PR#6123	Jacques Garrigue	2013-08-20	3	-0/+39
*	Merge short-paths into a fresh branch of trunk.short-paths-4.01	Jacques Garrigue	2013-01-29	4	-12/+16
\|\
\| *	merge version/4.00 at revision 12866	Jacques Garrigue	2012-08-21	10	-11/+735
* \|	fix PR#5858	Jacques Garrigue	2012-12-18	2	-0/+9
* \|	fix PR#5343 (was still unsound)	Jacques Garrigue	2012-12-02	2	-10/+10
* \|	whitespace, non-ascii chars, some missing headers	Damien Doligez	2012-10-17	1	-0/+12
* \|	clean up TABs and whitespace	Damien Doligez	2012-07-30	5	-11/+10
* \|	Fix PR#5291	Jacques Garrigue	2012-06-01	3	-0/+23
* \|	merge with branch bin-annot	Fabrice Le Fessant	2012-05-30	2	-8/+8
* \|	fix PR#5619	Jacques Garrigue	2012-05-25	3	-0/+65
* \|	check with -principal too	Jacques Garrigue	2012-03-29	4	-2/+662
* \|	Unshare on type annotations even in non -principal mode.	Jacques Garrigue	2012-02-14	1	-1/+1
\|/
*	fix PR#5436	Jacques Garrigue	2011-12-22	2	-0/+29
*	merge branches/gadts-devel	Jacques Garrigue	2011-11-24	1	-0/+2
*	Keep type variable names	Jacques Garrigue	2011-09-22	1	-2/+2
*	uniform .ignore system	Damien Doligez	2011-07-20	1	-10/+0
*	merge changes from 3.12.0 to 3.12.1	Damien Doligez	2011-07-20	1	-0/+10
*	testsuite: ability run a given test from its own directory.	Xavier Clerc	2011-06-15	1	-2/+3
*	Force terminal to "DUMP" for reproducible test cases.	Xavier Clerc	2010-06-18	2	-153/+112
*	PR#4975: spelling mistakes "overriden" and "informations"	Damien Doligez	2010-05-21	2	-3/+3
*	The warning related to method overriding is now disabled.	Xavier Clerc	2010-05-03	2	-177/+5
*	Tests updated to handle 'method overriden' warning	Xavier Clerc	2010-04-08	2	-31/+163
*	Tests moved to 'typing-objects'	Xavier Clerc	2010-04-07	5	-0/+1374