summaryrefslogtreecommitdiff
path: root/VERSION
Commit message (Expand)AuthorAgeFilesLines
* PR#5775: several bug fixes for tools/pprintast.mlDamien Doligez2012-10-161-1/+1
* merge changes from 4.00.0 to 4.00.1Damien Doligez2012-10-051-1/+1
* PR#5757: GC compaction bug (crash)Damien Doligez2012-09-101-1/+1
* PR#5712: doc of Format.printf and missing functions in StdLabelsDamien Doligez2012-08-061-1/+1
* clean up TABs and whitespaceDamien Doligez2012-07-301-1/+1
* merge changes from 4.00 branching to 4.00.0 (part 2: testsuite)Damien Doligez2012-07-271-1/+1
* merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez2012-07-261-1/+1
* merge with branch bin-annotFabrice Le Fessant2012-05-301-1/+1
* PR#5389: compaction sometimes leaves a very large heapDamien Doligez2012-04-171-3/+1
* PR#5311: better message for warning 23Damien Doligez2012-03-311-1/+1
* update version to 4.01.0 after branching of 4.00Damien Doligez2012-03-121-1/+1
* bumped version to 4.00.0 (per Xavier's decision)Damien Doligez2012-03-081-1/+1
* merge version 3.12 from 3.12.1 to r12205Damien Doligez2012-03-081-1/+1
* PR#1835: add function Digest.from_hexDamien Doligez2012-01-261-1/+1
* PR#5387: typo in commit 11986Damien Doligez2012-01-101-1/+1
* PR#4549: make Filename.dirname/basename POSIX compliantDamien Doligez2012-01-061-1/+1
* Dev++ for #4380 correction.Pierre Weis2011-10-251-1/+1
* Keep type variable namesJacques Garrigue2011-09-221-1/+1
* merge branches/gadtsJacques Garrigue2011-07-291-1/+1
|\
| * fix record pattern-matching; sort records in typed treegadtsJacques Garrigue2011-06-151-1/+1
| * changed VERSION to 3.13.0-gadt so that it can work with camlp5. This is nonst...Jacques Le Normand2010-11-191-1/+1
| * updated VERSION and config filesJacques Le Normand2010-11-131-1/+1
| * merged with trunk. specifically, merged with implicit unpack patchJacques Le Normand2010-10-251-1/+1
* | merge changes from 3.12.0 to 3.12.1Damien Doligez2011-07-201-1/+1
* | Dev version ++.Pierre Weis2011-06-201-1/+1
* | Bumping revision numberPierre Weis2011-03-181-1/+1
* | merge branches/implicit-unpack + update camlp4Jacques Garrigue2010-10-211-1/+1
|/
* merge changes from branching of 3.12 to release/3.12.0Damien Doligez2010-08-021-1/+1
* forgot to change VERSION after branchingDamien Doligez2010-06-071-1/+1
* PR#5062Pierre Weis2010-06-041-1/+1
* PR#5054: simple recursive value with array not acceptedDamien Doligez2010-05-201-1/+1
* deduplicate debugger/dynlink.{ml,mli}Damien Doligez2010-05-171-1/+1
* PR#4742: finalisation function raising an exception blocks other finalisationsDamien Doligez2010-05-121-1/+1
* Typo in module Scanf prevented tests to succeeded properly.Pierre Weis2010-05-051-1/+1
* Generalization of unbound identier error narrowing to all kind of qualifiedPierre Weis2010-05-041-1/+1
* PR#4983 corrected.Pierre Weis2010-05-021-1/+1
* make command-line parsing forward-compatibleDamien Doligez2010-04-301-1/+1
* just bump the version number to dev18Jacques Garrigue2010-04-201-1/+1
* merge changes from release/3.11.1 to release/3.11.2Damien Doligez2010-01-201-1/+1
* PR#4940: get rid of naked end-of-lines in string constants + add warning 29Damien Doligez2010-01-071-1/+1
* Adding a close-in function to module Scanf, to be able to close a Scanf scan ...Pierre Weis2009-12-291-1/+1
* PR#4947 bug in parsing of warning optionsDamien Doligez2009-12-221-1/+1
* Adding the -strict-sequence option.Pierre Weis2009-12-091-1/+1
* To deal with printf output for %F format, adding a unary + operator.Pierre Weis2009-12-071-1/+1
* Introducing output meanings to subsume set/get_[all_]formatter_output_functions.Pierre Weis2009-11-301-1/+1
* Bump dev level.Pierre Weis2009-11-301-1/+1
* Format concatenation introduces %, to delimit conversions.Pierre Weis2009-11-301-1/+1
* added warning 28: wildcard arg to constant constructorDamien Doligez2009-11-191-1/+1
* Refined error message for unbound identifiers: if M.ident is unbound and M is...Pierre Weis2009-09-041-1/+1
* merge changes from ocaml3111rc0 to ocaml3111Damien Doligez2009-07-201-1/+1
View Lorry Controller Status