redeploy + clide-isabelle