The OCaml debugger also has time travel (http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual030.ht...).