search

m-fleury / isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches
Other
25 stars 5 forks source link

Added doom-emacs installation instructions #55

Closed halbGefressen closed 3 years ago

m-fleury commented 3 years ago

I keep the pull request open, because I will merge that in the branch Isabelle2021-1, once it exists.

Thanks a lot for the pull request.