[README] isabelle-emacs requirement#4

christiankissig wants to merge 1 commit intoThreeFx:mainThreeFx/coc-isabelle:mainfrom

christiankissig:mainchristiankissig/coc-isabelle:mainCopy head branch name to clipboard