[emacs] assimilate lean-mode and dependencies

lib/async                master                    v1.9.3-1-g04e1a2c
lib/company              master                     0.9.6-23-gd26ec71
lib/f                    master                    v0.20.0
lib/flycheck             master                     31-118-g0c4bbd1f
lib/helm                 master                    v2.9.2-24-g56039aaf
lib/lean-mode            master                    6ed7031
lib/popup                master                    v0.5.3-20-g80829dd
lib/s                    master                     1.12.0-10-g03410e6

diff --git a/.gitmodules b/.gitmodules
index c46c70e..d300637 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,9 @@
 [borg]
        pushDefault = aminb
        collective = emacsg
 [borg]
        pushDefault = aminb
        collective = emacsg

+[submodule "async"]
+       path = lib/async
+       url = git@github.com:jwiegley/emacs-async.git

 [submodule "auto-compile"]
        path = lib/auto-compile
        url = git@github.com:emacscollective/auto-compile.git
 [submodule "auto-compile"]
        path = lib/auto-compile
        url = git@github.com:emacscollective/auto-compile.git


@@ -10,6 +13,9 @@
 [submodule "closql"]
        path = lib/closql
        url = git@github.com:emacscollective/closql.git
 [submodule "closql"]
        path = lib/closql
        url = git@github.com:emacscollective/closql.git

+[submodule "company"]
+       path = lib/company
+       url = git@github.com:company-mode/company-mode.git

 [submodule "dash"]
        path = lib/dash
        url = git@github.com:magnars/dash.el.git
 [submodule "dash"]
        path = lib/dash
        url = git@github.com:magnars/dash.el.git


@@ -34,16 +40,28 @@
 [submodule "exwm"]
        path = lib/exwm
        url = git@github.com:ch11ng/exwm.git
 [submodule "exwm"]
        path = lib/exwm
        url = git@github.com:ch11ng/exwm.git

+[submodule "f"]
+       path = lib/f
+       url = git@github.com:rejeep/f.el.git
+[submodule "flycheck"]
+       path = lib/flycheck
+       url = git@github.com:flycheck/flycheck.git

 [submodule "ghub"]
        path = lib/ghub
        url = git@github.com:magit/ghub.git
 [submodule "git-modes"]
        path = lib/git-modes
        url = git@github.com:magit/git-modes.git
 [submodule "ghub"]
        path = lib/ghub
        url = git@github.com:magit/ghub.git
 [submodule "git-modes"]
        path = lib/git-modes
        url = git@github.com:magit/git-modes.git

+[submodule "helm"]
+       path = lib/helm
+       url = git@github.com:emacs-helm/helm.git

 [submodule "ivy"]
        path = lib/ivy
        url = git@github.com:abo-abo/swiper.git
        info-path = doc
 [submodule "ivy"]
        path = lib/ivy
        url = git@github.com:abo-abo/swiper.git
        info-path = doc

+[submodule "lean-mode"]
+       path = lib/lean-mode
+       url = git@github.com:leanprover/lean-mode.git

 [submodule "magit"]
        path = lib/magit
        url = git@github.com:magit/magit.git
 [submodule "magit"]
        path = lib/magit
        url = git@github.com:magit/magit.git


@@ -60,6 +78,12 @@
 [submodule "packed"]
        path = lib/packed
        url = git@github.com:emacscollective/packed.git
 [submodule "packed"]
        path = lib/packed
        url = git@github.com:emacscollective/packed.git

+[submodule "popup"]
+       path = lib/popup
+       url = git@github.com:auto-complete/popup-el.git
+[submodule "s"]
+       path = lib/s
+       url = git@github.com:magnars/s.el.git

 [submodule "smex"]  # used by counsel-M-x
        path = lib/smex
        url = git@github.com:nonsequitur/smex.git
 [submodule "smex"]  # used by counsel-M-x
        path = lib/smex
        url = git@github.com:nonsequitur/smex.git

diff --git a/init.org b/init.org
index 7add2c1..56f9fcd 100644 (file)
--- a/init.org
+++ b/init.org
@@ -754,6 +754,14 @@ TODO: break this giant source block down into individual org sections.
   (setq undo-tree-mode-lighter ""))
 #+end_src
 
   (setq undo-tree-mode-lighter ""))
 #+end_src
 

+* Programming modes
+
+** Lean mode
+
+#+begin_src emacs-lisp
+(use-package lean-mode)
+#+end_src
+

 * Post initialization
 :PROPERTIES:
 :CUSTOM_ID: post-initialization
 * Post initialization
 :PROPERTIES:
 :CUSTOM_ID: post-initialization

diff --git a/lib/async b/lib/async
new file mode 160000 (submodule)
index 0000000..04e1a2c
--- /dev/null
+++ b/lib/async
@@ -0,0 +1 @@
+Subproject commit 04e1a2c40bef305450389da540ffe7594964e430

diff --git a/lib/company b/lib/company
new file mode 160000 (submodule)
index 0000000..d26ec71
--- /dev/null
+++ b/lib/company
@@ -0,0 +1 @@
+Subproject commit d26ec7182471efcc631bac3c2be122cfcd0f3c4d

diff --git a/lib/f b/lib/f
new file mode 160000 (submodule)
index 0000000..de6d4d4
--- /dev/null
+++ b/lib/f
@@ -0,0 +1 @@
+Subproject commit de6d4d40ddc844eee643e92d47b9d6a63fbebb48

diff --git a/lib/flycheck b/lib/flycheck
new file mode 160000 (submodule)
index 0000000..0c4bbd1
--- /dev/null
+++ b/lib/flycheck
@@ -0,0 +1 @@
+Subproject commit 0c4bbd1f8a48200a23bae365d2a6749a2e847717

diff --git a/lib/helm b/lib/helm
new file mode 160000 (submodule)
index 0000000..56039aa
--- /dev/null
+++ b/lib/helm
@@ -0,0 +1 @@
+Subproject commit 56039aaf946265621133f0a142073d0d751c6244

diff --git a/lib/lean-mode b/lib/lean-mode
new file mode 160000 (submodule)
index 0000000..6ed7031
--- /dev/null
+++ b/lib/lean-mode
@@ -0,0 +1 @@
+Subproject commit 6ed7031e14cf9c2c481ac68eeffa4e7733e5842b

diff --git a/lib/popup b/lib/popup
new file mode 160000 (submodule)
index 0000000..80829dd
--- /dev/null
+++ b/lib/popup
@@ -0,0 +1 @@
+Subproject commit 80829dd46381754639fb764da11c67235fe63282

diff --git a/lib/s b/lib/s
new file mode 160000 (submodule)
index 0000000..03410e6
--- /dev/null
+++ b/lib/s
@@ -0,0 +1 @@
+Subproject commit 03410e6a7a2b11e47e1fea3b7d9899c7df26435e