From e4acffee52594d5e2cfbd28367c6da0530396355 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 6 Mar 2022 20:13:47 +0100
Subject: remove old stuff

---
 packages.el | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'packages.el')

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)
 
-- 
cgit v1.2.3