OCaml 4.00.0 released (now with GADTs) (groups.google.com)

The biggest change is the addition of Generalized Algebraic Data Types to the OCaml language. But there are also a number of other extensions to the language, some optimizations, and plenty of bug fixes. Also noteworthy is the new and improved ARM backend.