From 221cdaa3dff94b6db1a8a412c8ea82c842fa5571 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Wed, 4 Jul 2018 21:27:48 -0400 Subject: [PATCH] [emacs] add alloy-mode --- .gitmodules | 3 +++ init.org | 6 ++++++ lib/alloy-mode | 1 + 3 files changed, 10 insertions(+) create mode 160000 lib/alloy-mode 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 diff --git a/init.org b/init.org index 85d5709..9192dff 100644 --- a/init.org +++ b/init.org @@ -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 index 0000000..76d9e1d --- /dev/null +++ b/lib/alloy-mode @@ -0,0 +1 @@ +Subproject commit 76d9e1d57cee46bb9caa80b721a6d0bafed1ddfd -- 2.20.1