diff options
| author | stuebinm | 2022-03-06 20:13:47 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-06 20:13:47 +0100 |
| commit | e4acffee52594d5e2cfbd28367c6da0530396355 (patch) | |
| tree | da52a495c38d080d9db6b7fd139d93e85e7643b3 /packages.el | |
| parent | 24fa42a2e179c0eab19de1dcab1674e03574f953 (diff) | |
remove old stuff
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) |