I remember trying Isabelle out early in my PhD before finally deciding that Coq was the right tool for my job. I suspect Larry is now retired from Cambridge, so others must have taken up the baton of keeping Isabelle developing.