diff options
| author | Amin Bandali <amin@aminb.org> | 2018-07-04 21:27:48 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@aminb.org> | 2018-07-04 21:27:48 -0400 |
| commit | 221cdaa3dff94b6db1a8a412c8ea82c842fa5571 (patch) | |
| tree | 9dc1eefd4b5648d0e8f09baab4b153e94695b741 | |
| parent | f82046d8e19313a1ce3d7320754dde3d34672d80 (diff) | |
| download | configs-221cdaa3dff94b6db1a8a412c8ea82c842fa5571.tar.gz configs-221cdaa3dff94b6db1a8a412c8ea82c842fa5571.tar.xz configs-221cdaa3dff94b6db1a8a412c8ea82c842fa5571.zip | |
[emacs] add alloy-mode
| -rw-r--r-- | .gitmodules | 3 | ||||
| -rw-r--r-- | init.org | 6 | ||||
| m--------- | lib/alloy-mode | 0 |
3 files changed, 9 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index b85b7df..2742309 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,9 @@ [borg] pushDefault = aminb collective = emacsg +[submodule "alloy-mode"] + path = lib/alloy-mode + url = git@github.com:anlun/alloy-mode.git [submodule "async"] path = lib/async url = git@github.com:jwiegley/emacs-async.git @@ -1084,6 +1084,12 @@ TODO: break this giant source block down into individual org sections. #+end_src * Programming modes +** Alloy + +#+begin_src emacs-lisp +(use-package alloy-mode) +#+end_src + ** [[https://github.com/leanprover/lean-mode][Lean]] #+begin_src emacs-lisp diff --git a/lib/alloy-mode b/lib/alloy-mode new file mode 160000 +Subproject 76d9e1d57cee46bb9caa80b721a6d0bafed1ddf |