m-fleury / isabelle-emacs

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

Added (use-package session-async) to .emacs example #52

Closed ghost closed 3 years ago

ghost commented 3 years ago

This is under under the "standard emacs, non-developer" section. The dependency change amounts to adding the line (use-package session-async :ensure t) under the "dependencies" section of the .emacs installation source block.

Also fixed some minor typos in the text part of the guide.

Finally, added "(if needed)" to the package-initialize section of the .emacs installation guide. That's just in case others could potentially get confused when blindly copying-and-pasting it to their .emacs file, like I did initially.

m-fleury commented 3 years ago

Thanks!