update of Isabelle Sessions (now with Extension)