Add workaround to doom emacs instructions

m-fleury / isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches

Other

25 stars 5 forks source link

Closed halbGefressen closed 2 years ago

halbGefressen commented 2 years ago

temporary workaround for issue #62

halbGefressen commented 2 years ago

issue seems to have been fixed in a different commit referenced in #62