diff options
| author |   Amin Bandali <bandali@gnu.org> | 2018-12-24 15:33:17 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-24 16:01:21 -0500 |
| commit | 520aebd55edb4f467b4d86228ecf8cd640525c78 (patch) | |
| tree | 2261c1a3b852702436414a54150b1303ba494889 /init.org | |
| parent | de000e57d29fb5fb0f4f77531189039c4d88bf3a (diff) | |
| download | configs-520aebd55edb4f467b4d86228ecf8cd640525c78.tar.gz configs-520aebd55edb4f467b4d86228ecf8cd640525c78.tar.xz configs-520aebd55edb4f467b4d86228ecf8cd640525c78.zip | |
[emacs][wip] enable some programming modes and update versions
Diffstat (limited to 'init.org')
| -rw-r--r-- | init.org | 38 |
1 files changed, 19 insertions, 19 deletions
@@ -1303,18 +1303,6 @@ Automatically save place in each file. (text-mode . abbrev-mode))) #+end_src -** =lisp-mode= - -#+begin_src emacs-lisp -(use-feature lisp-mode - :config - (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode) - (add-hook 'emacs-lisp-mode-hook 'reveal-mode) - (defun indent-spaces-mode () - (setq indent-tabs-mode nil)) - (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode)) -#+end_src - ** Company #+begin_src emacs-lisp @@ -1378,15 +1366,28 @@ Automatically save place in each file. #'endless/replace-quote)) #+end_src -* COMMENT Programming modes +* Programming modes :PROPERTIES: :CUSTOM_ID: programming-modes :END: +** Lisp + +#+begin_src emacs-lisp +(use-feature lisp-mode + :config + (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode) + (add-hook 'emacs-lisp-mode-hook 'reveal-mode) + (defun indent-spaces-mode () + (setq indent-tabs-mode nil)) + (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode)) +#+end_src + ** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]]) #+begin_src emacs-lisp (use-package alloy-mode + :straight (:host github :repo "dwwmmn/alloy-mode") :defer t :config (setq alloy-basic-offset 2)) #+end_src @@ -1394,9 +1395,8 @@ Automatically save place in each file. ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]]) #+begin_src emacs-lisp -(use-package proof-site ; Proof General - :defer t - :load-path "lib/proof-site/generic/") +(use-package proof-general + :defer t) #+end_src ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]]) @@ -1606,7 +1606,7 @@ instead. ("C-c l l" . hs-lint))) #+end_src -** Web dev +** COMMENT Web dev *** SGML and HTML @@ -1733,7 +1733,7 @@ treemacs :after (treemacs)) #+end_src -** geiser +** COMMENT geiser #+begin_src emacs-lisp (use-package geiser) @@ -1743,7 +1743,7 @@ treemacs (setq geiser-guile-load-path "~/src/git/guix")) #+end_src -** guix +** COMMENT guix #+begin_src emacs-lisp (use-package guix |