OCaml 4.00.0 released (now with GADTs)
https://groups.google.com/forum/?fromgroups#!topic/fa.caml/f9Q9N5iw1OYThe 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.