summaryrefslogtreecommitdiffstats
path: root/boot
AgeCommit message (Expand)Author
2012-08-06PR#5712: doc of Format.printf and missing functions in StdLabelsDamien Doligez
2012-07-26merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-04-19- Hashtbl:Xavier Leroy
2012-04-18#5589: 'unused' warnings for .mli files as well (detect unused open and shado...Alain Frisch
2012-03-14Improve self-initialization of the Random module, using /dev/urandomXavier Leroy
2012-03-08merge version 3.12 from 3.12.1 to r12205Damien Doligez
2012-03-07#5527: use absolute filenames in the message for Warning 31, when requested (...Alain Frisch
2012-03-06Keep locations for exception declaration. This gives better error messages an...Alain Frisch
2012-02-01Fix PR#4072Fabrice Le Fessant
2012-01-23fix configure on MacOSX/64-bit; add an option to configure or build without c...Damien Doligez
2012-01-23Backported '%apply' and '%revapply' from 3.12.1+dev to 3.13+devFabrice Le Fessant
2012-01-17Fix PR#5461Fabrice Le Fessant
2011-12-21Module Array: faster implementations of "blit", "copy", "sub",Xavier Leroy
2011-12-20New option to force the compilers to show absolute paths in error messages.Alain Frisch
2011-12-17The "DBM" library (interface with Unix DBM key-value stores) is noXavier Leroy
2011-12-14#5358: package types allow constraints on typed in sub-modules. Camlp4 compil...Alain Frisch
2011-12-14Boostrap ocamlbuild (#5338).Alain Frisch
2011-11-24merge branches/gadts-develJacques Garrigue
2011-10-25Bug #4380.Pierre Weis
2011-10-21Do not keep locations in .cmis!Jacques Garrigue
2011-10-21merge branches/located_errorsJacques Garrigue
2011-09-22Keep type variable namesJacques Garrigue
2011-07-29merge branches/gadtsJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2011-07-20uniform .ignore systemDamien Doligez
2011-07-20merge changes from 3.12.0 to 3.12.1Damien Doligez
2011-06-20Dev version ++.Pierre Weis
2011-06-11Revised simplification of let-alias (PR#5205, PR#5288)Xavier Leroy
2011-06-04PR#3806, 4752, 5246: added "hypot" and "copysign" to Pervasives.Xavier Leroy
2011-06-04Hashtbl again: simplified interface for seeding; seed is now an optional para...Xavier Leroy
2011-05-29Better hashing!Xavier Leroy
2011-03-18Ignoring compiled files. Bootstrap.Pierre Weis
2011-03-17Ignoring compiled files.Pierre Weis
2011-03-17add option -runtime-variantDamien Doligez
2010-12-05changed the syntax backJacques Le Normand
2010-11-19changed VERSION to 3.13.0-gadt so that it can work with camlp5. This is nonst...Jacques Le Normand
2010-11-15rebootstrapped to fix exception printing errorJacques Le Normand
2010-11-13updated VERSION and config filesJacques Le Normand
2010-11-11working bootstrapJacques Le Normand
2010-11-10remove the GAHsJacques Garrigue
2010-10-25merged with trunk. specifically, merged with implicit unpack patchJacques Le Normand
2010-10-21merge branches/implicit-unpack + update camlp4Jacques Garrigue
2010-10-21removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand
2010-10-20reverted boot/ocamlc and boot/ocamldep to revision 10660Jacques Le Normand
2010-10-16exhaustiveness check is working. An algorithm te check compatibility has been...Jacques Le Normand
2010-09-27cleaned up most whitespace/newline additionsJacques Le Normand
2010-08-02merge changes from branching of 3.12 to release/3.12.0Damien Doligez
2010-06-04PR#5062Pierre Weis
2010-05-20PR#4857: add -vnum option to all executablesDamien Doligez