[emacs] add alloy-mode
authorAmin Bandali <amin@aminb.org>
Thu, 5 Jul 2018 01:27:48 +0000 (21:27 -0400)
committerAmin Bandali <amin@aminb.org>
Thu, 5 Jul 2018 01:27:48 +0000 (21:27 -0400)
.gitmodules
init.org
lib/alloy-mode [new submodule]

index b85b7df..2742309 100644 (file)
@@ -1,6 +1,9 @@
 [borg]
        pushDefault = aminb
        collective = emacsg
 [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
 [submodule "async"]
        path = lib/async
        url = git@github.com:jwiegley/emacs-async.git
index 85d5709..9192dff 100644 (file)
--- 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
 
 #+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
 ** [[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 (submodule)
index 0000000..76d9e1d
--- /dev/null
@@ -0,0 +1 @@
+Subproject commit 76d9e1d57cee46bb9caa80b721a6d0bafed1ddfd