Merge branch 'pasting-hotfix' into stable
updated isabelle loading
isabelle integration