fix isabelle assistant