At the Isabelle Workshop 2016 in Nancy, I presented Isabelle/PIDE as IDE for ML. See also the outline of the main concepts and examples, together with the full demo setup.