diff options
Diffstat (limited to 'packages.el')
| -rw-r--r-- | packages.el | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/packages.el b/packages.el index a1ffc3e..0fa3b07 100644 --- a/packages.el +++ b/packages.el @@ -25,17 +25,6 @@ (package! desktop-environment) -(package! isar-mode - :recipe (:host github :repo "m-fleury/isar-mode")) - -(package! isar-goal-mode - :recipe (:host github :repo "m-fleury/simp-isar-mode")) - -(package! lsp-isar - :recipe (:local-repo "/home/stuebinm/clones/isabelle-emacs/src/Tools/emacs-lsp/lsp-isar")) - -(package! lsp-isar-parse-args - :recipe (:local-repo "/home/stuebinm/clones/isabelle-emacs/src/Tools/emacs-lsp/lsp-isar")) (package! session-async) |