larstvei/emacs
1
1
Fork 0
mirror of https://github.com/larstvei/dot-emacs.git synced 2025-11-04 09:20:11 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Disable packages that have been unused for years

Browse Source
This commit is contained in:
larstvei 2023-06-13 22:43:30 +02:00
parent c6bfa68697
commit 4fb674d967
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
init.org
View File

@ -1525,6 +1525,7 @@
;; Superior Lisp Interaction Mode for Emacs ;; Superior Lisp Interaction Mode for Emacs
(use-package slime (use-package slime
:disabled
:defer t :defer t
:bind (:map slime-repl-mode-map ("C-l" . slime-repl-clear-buffer)) :bind (:map slime-repl-mode-map ("C-l" . slime-repl-clear-buffer))
:hook (common-lisp-mode . activate-slime-helper) :hook (common-lisp-mode . activate-slime-helper)
@ -1689,6 +1690,7 @@
;; Major mode for MiniZinc code ;; Major mode for MiniZinc code
(use-package minizinc-mode (use-package minizinc-mode
:disabled
:defer t :defer t
:mode "\\.mzn\\'" :mode "\\.mzn\\'"
:hook (minizinc-mode . minizinc-setup-compile-command)) :hook (minizinc-mode . minizinc-setup-compile-command))
@ -1704,6 +1706,7 @@
;; A generic Emacs interface for proof assistants ;; A generic Emacs interface for proof assistants
(use-package proof-general (use-package proof-general
:disabled
:defer t) :defer t)
#+end_src #+end_src
@ -1714,6 +1717,7 @@
;; A collection of extensions PG's Coq mode ;; A collection of extensions PG's Coq mode
(use-package company-coq (use-package company-coq
:disabled
:defer t :defer t
:hook (coq-mode . company-coq-mode)) :hook (coq-mode . company-coq-mode))
@ -1801,6 +1805,7 @@
;; z3/SMTLIBv2 interactive development ;; z3/SMTLIBv2 interactive development
(use-package z3-mode (use-package z3-mode
:disabled
:defer t) :defer t)
#+end_src #+end_src