1 files changed, 83 insertions, 0 deletions
diff --git a/packages.el b/packages.el
new file mode 100644
index 0000000..a1ffc3e
--- /dev/null
+++ b/packages.el
@@ -0,0 +1,83 @@
+;; -*- no-byte-compile: t; -*-
+;;; $DOOMDIR/packages.el
+
+;; To install a package with Doom you must declare them here and run 'doom sync'
+;; on the command line, then restart Emacs for the changes to take effect -- or
+;; use 'M-x doom/reload'.
+
+
+;; To install SOME-PACKAGE from MELPA, ELPA or emacsmirror:
+;(package! some-package)
+
+(package! lsp-ui)
+(package! lsp-mode)
+
+(package! dhall-mode)
+(package! futhark-mode)
+
+(package! boxquote)
+
+(package! helm-dictionary)
+(package! org-drill)
+(package! org-drill-table)
+
+(package! pulseaudio-control)
+(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)
+
+(package! request)
+
+;; To install a package directly from a remote git repo, you must specify a
+;; `:recipe'. You'll find documentation on what `:recipe' accepts here:
+;; https://github.com/raxod502/straight.el#the-recipe-format
+;(package! another-package
+;  :recipe (:host github :repo "username/repo"))
+
+;; If the package you are trying to install does not contain a PACKAGENAME.el
+;; file, or is located in a subdirectory of the repo, you'll need to specify
+;; `:files' in the `:recipe':
+;(package! this-package
+;  :recipe (:host github :repo "username/repo"
+;           :files ("some-file.el" "src/lisp/*.el")))
+
+;; If you'd like to disable a package included with Doom, you can do so here
+;; with the `:disable' property:
+;(package! builtin-package :disable t)
+
+;; You can override the recipe of a built in package without having to specify
+;; all the properties for `:recipe'. These will inherit the rest of its recipe
+;; from Doom or MELPA/ELPA/Emacsmirror:
+;(package! builtin-package :recipe (:nonrecursive t))
+;(package! builtin-package-2 :recipe (:repo "myfork/package"))
+
+;; Specify a `:branch' to install a package from a particular branch or tag.
+;; This is required for some packages whose default branch isn't 'master' (which
+;; our package manager can't deal with; see raxod502/straight.el#279)
+;(package! builtin-package :recipe (:branch "develop"))
+
+;; Use `:pin' to specify a particular commit to install.
+;(package! builtin-package :pin "1a2b3c4d5e")
+
+
+;; Doom's packages are pinned to a specific commit and updated from release to
+;; release. The `unpin!' macro allows you to unpin single packages...
+;(unpin! pinned-package)
+;; ...or multiple packages
+;(unpin! pinned-package another-pinned-package)
+;; ...Or *all* packages (NOT RECOMMENDED; will likely break things)
+;(unpin! t)
+