search

m-fleury / isabelle-emacs

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

Provide quelpa setup for installation #11

Closed m-fleury closed 4 years ago

m-fleury commented 4 years ago

https://bitbucket.org/zmaths/isabelle2019-vsce/issues/12/provide-quelpa-setup-for-installation @m-fleury quelpa should be able to provide a more automatic installation than our current manual process. It also makes it possible to only distribute the layer file for spacemacs.

m-fleury commented 4 years ago

@m-fleury see the src/Tools/emacs-lsp/lsp-isar/Cask file as starting point

m-fleury commented 4 years ago

Some starting point:

    (isar-mode :location (recipe
                             :fetcher github
                             :repo "m-fleury/isar-mode"))
    (isar-goal-mode :location (recipe
                             :fetcher github
                             :repo "m-fleury/simp-isar-mode"))
    (lsp-isar :location (recipe
                             :fetcher github
                             :repo "m-fleury/emacs-isabelle"
                 :files ("src/Tools/emacs-lsp/lsp-isar/*.el")))
m-fleury commented 4 years ago

The commit 05bd26e provides a minimum .emacs to run Isabelle.