search

m-fleury / isabelle-emacs

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

`m-fleury/simp-isar-mode` does no longer exist #91

Closed Septias closed 1 month ago

Septias commented 2 months ago

As part of https://github.com/m-fleury/isabelle-emacs/blob/Isabelle2024-vsce/src/Tools/emacs-lsp/spacemacs_layers/isabelle/README.org there is the section:

(use-package isar-goal-mode
  :ensure t
  :quelpa (isar-goal-mode :fetcher github
              :repo "m-fleury/simp-isar-mode"
             :files ("*.el")
             :upgrade t))

where you try to install isar-goal-mode from m-fleury/simp-isar-mode, but it seems like this file has been moved to m-fleury/isar-mode?