m-fleury / isabelle-emacs

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

Better parallelism with session-async.el #50

Closed m-fleury closed 2 years ago

m-fleury commented 3 years ago

Use https://codeberg.org/FelipeLema/session-async.el instead of async. This has several advantages:

If I see it right, fixing it consists in adding a new variable to hold the session name, start the session at the beginning (loading the required functions instead of reloading them every time), and replace the async by their counterpart (with the backquotes).

m-fleury commented 3 years ago

The file is already too complicated, so