Factorization of RSA-250

Renaming Coq

OCaml 4.06.0 Released

OCaml 4.05.0 released

OCaml 4.04.0 released

OCaml 4.03.0 released (including flambda)

OCaml's 20th Anniversary

OCaml 4.02.2 Released

OCaml 4.03 will, “if all goes well”, support multicore

A good intuition of why AVL-trees are superior to red-black trees for whole-set operations (union, etc.)