[emacs] Update proof-site to v4.4-226-g7389d438, tweak defer delays

[~bandali/configs] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 5c2d05f..83877c8 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,21 +1,46 @@
 [borg]
        pushDefault = aminb
        collective = emacsg
 [borg]
        pushDefault = aminb
        collective = emacsg

+[submodule "alert"]
+       path = lib/alert
+       url = git@github.com:jwiegley/alert.git
+[submodule "all-the-icons"]
+       path = lib/all-the-icons
+       url = git@github.com:domtronn/all-the-icons.el.git
+[submodule "alloy-mode"]
+       path = lib/alloy-mode
+       url = git@github.com:dwwmmn/alloy-mode.git

 [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 "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 "boogie-friends"]
+       path = lib/boogie-friends
+       url = git@github.com:boogie-org/boogie-friends.git
+       load-path = emacs

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

+[submodule "boxquote"]
+       path = lib/boxquote
+       url = git@github.com:davep/boxquote.el.git
+[submodule "bui"]
+       path = lib/bui
+       url = git@github.com:alezost/bui.el.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 "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 "company-ebdb"]
+       path = lib/company-ebdb
+       url = git@github.com:emacs-straight/company-ebdb.git
+[submodule "crux"]
+       path = lib/crux
+       url = git@github.com:bbatsov/crux.git

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


@@ -30,22 +55,46 @@
 [submodule "diff-hl"]
        path = lib/diff-hl
        url = git@github.com:dgutov/diff-hl.git
 [submodule "diff-hl"]
        path = lib/diff-hl
        url = git@github.com:dgutov/diff-hl.git

+[submodule "doom-themes"]
+       path = lib/doom-themes
+       url = git@github.com:hlissner/emacs-doom-themes.git
+[submodule "ebdb"]
+       path = lib/ebdb
+       url = git@github.com:girzel/ebdb.git
+[submodule "ebdb-gnorb"]
+       path = lib/ebdb-gnorb
+       url = git@github.com:emacsmirror/ebdb-gnorb.git
+[submodule "edit-indirect"]
+       path = lib/edit-indirect
+       url = git@github.com:Fanael/edit-indirect.git
+[submodule "eldoc-eval"]
+       path = lib/eldoc-eval
+       url = git@github.com:thierryvolpiatto/eldoc-eval.git
+[submodule "elisp-refs"]
+       path = lib/elisp-refs
+       url = git@github.com:Wilfred/elisp-refs.git

 [submodule "emacsql"]
        path = lib/emacsql
        url = git@github.com:skeeto/emacsql.git
        no-byte-compile = emacsql-pg.el
 [submodule "emacsql"]
        path = lib/emacsql
        url = git@github.com:skeeto/emacsql.git
        no-byte-compile = emacsql-pg.el

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

 [submodule "epkg"]
        path = lib/epkg
        url = git@github.com:emacscollective/epkg.git
 [submodule "epl"]
        path = lib/epl
        url = git@github.com:cask/epl.git
 [submodule "epkg"]
        path = lib/epkg
        url = git@github.com:emacscollective/epkg.git
 [submodule "epl"]
        path = lib/epl
        url = git@github.com:cask/epl.git

+[submodule "eshell-up"]
+       path = lib/eshell-up
+       url = git@github.com:peterwvj/eshell-up.git

 [submodule "exec-path-from-shell"]
        path = lib/exec-path-from-shell
        url = git@github.com:purcell/exec-path-from-shell.git
 [submodule "exec-path-from-shell"]
        path = lib/exec-path-from-shell
        url = git@github.com:purcell/exec-path-from-shell.git

-[submodule "exwm"]
-       path = lib/exwm
-       url = git@github.com:ch11ng/exwm.git
+[submodule "expand-region"]
+       path = lib/expand-region
+       url = git@github.com:magnars/expand-region.el.git

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


@@ -55,21 +104,56 @@
 [submodule "flycheck-haskell"]
        path = lib/flycheck-haskell
        url = git@github.com:flycheck/flycheck-haskell.git
 [submodule "flycheck-haskell"]
        path = lib/flycheck-haskell
        url = git@github.com:flycheck/flycheck-haskell.git

+[submodule "geiser"]
+       path = lib/geiser
+       url = git@gitlab.com:jaor/geiser.git
+       info-path = doc
+       load-path = elisp
+       build-step = ./autogen.sh
+       build-step = ./configure
+       build-step = make

 [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 "gnorb"]
+       path = lib/gnorb
+       url = git@github.com:girzel/gnorb.git
+       no-byte-compile = gnorb-bbdb.el
+[submodule "graphql"]
+       path = lib/graphql
+       url = git@github.com:vermiculus/graphql.el.git
+[submodule "guix"]
+       path = lib/guix
+       url = git@github.com:alezost/guix.el.git
+       info-path = doc
+       load-path = elisp
+       build-step = ./autogen.sh
+       build-step = ./configure
+       build-step = make

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

+[submodule "helpful"]
+       path = lib/helpful
+       url = git@github.com:Wilfred/helpful.git
+[submodule "hl-todo"]
+       path = lib/hl-todo
+       url = git@github.com:tarsius/hl-todo.git

 [submodule "hlint-refactor"]
        path = lib/hlint-refactor
        url = git@github.com:mpickering/hlint-refactor-mode.git
 [submodule "hlint-refactor"]
        path = lib/hlint-refactor
        url = git@github.com:mpickering/hlint-refactor-mode.git

+[submodule "ht"]
+       path = lib/ht
+       url = git@github.com:Wilfred/ht.el.git
+[submodule "hydra"]
+       path = lib/hydra
+       url = git@github.com:abo-abo/hydra.git

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


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

+[submodule "loop"]
+       path = lib/loop
+       url = git@github.com:Wilfred/loop.el.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

+       recursive-byte-compile = true

        info-path = Documentation
 [submodule "magit-popup"]
        path = lib/magit-popup
        info-path = Documentation
 [submodule "magit-popup"]
        path = lib/magit-popup


@@ -90,48 +178,103 @@
 [submodule "markdown-mode"]
        path = lib/markdown-mode
        url = git@github.com:jrblevin/markdown-mode.git
 [submodule "markdown-mode"]
        path = lib/markdown-mode
        url = git@github.com:jrblevin/markdown-mode.git

+[submodule "memoize"]
+       path = lib/memoize
+       url = git@github.com:skeeto/emacs-memoize.git
+[submodule "multi-term"]
+       path = lib/multi-term
+       url = git@github.com:emacsorphanage/multi-term.git
+[submodule "multiple-cursors"]
+       path = lib/multiple-cursors
+       url = git@github.com:magnars/multiple-cursors.el.git
+[submodule "mwim"]
+       path = lib/mwim
+       url = git@github.com:alezost/mwim.el.git

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

-[submodule "notmuch"]
-       path = lib/notmuch
-       url = https://git.notmuchmail.org/git/notmuch
-       load-path = emacs
-       info-path = doc/_build/texinfo
-       build-step = ./configure
-       build-step = make
-       build-step = make sphinx-texinfo
-       build-step = borg-makeinfo
+[submodule "org"]
+       path = lib/org
+       url = git@code.orgmode.org:bzg/org-mode.git
+       load-path = lisp
+       info-path = doc
+       build-step = make compile autoloads info # ORG_ADD_CONTRIB="org-notmuch"
+       # setting ORG_ADD_CONTRIB results in copying of files from contrib/
+       # into lisp/, which git will pick up.  so, let's ignore untracked files
+       # from org's submodule; at least for now
+       # ignore = untracked
+[submodule "orgalist"]
+       path = lib/orgalist
+       url = git@github.com:emacsmirror/orgalist.git
+[submodule "other-frame-window"]
+       path = lib/other-frame-window
+       url = git@github.com:emacsmirror/other-frame-window.git
+[submodule "ox-hugo"]
+       path = lib/ox-hugo
+       url = git@github.com:kaushalmodi/ox-hugo.git

 [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 "page-break-lines"]
+       path = lib/page-break-lines
+       url = git@github.com:purcell/page-break-lines.git

 [submodule "pkg-info"]
        path = lib/pkg-info
        url = git@github.com:lunaryorn/pkg-info.el.git
 [submodule "popup"]
        path = lib/popup
        url = git@github.com:auto-complete/popup-el.git
 [submodule "pkg-info"]
        path = lib/pkg-info
        url = git@github.com:lunaryorn/pkg-info.el.git
 [submodule "popup"]
        path = lib/popup
        url = git@github.com:auto-complete/popup-el.git

+[submodule "projectile"]
+       path = lib/projectile
+       url = git@github.com:bbatsov/projectile.git
+[submodule "proof-site"]  # Proof General
+       path = lib/proof-site
+       url = git@github.com:ProofGeneral/PG.git
+[submodule "rich-minority"]
+       path = lib/rich-minority
+       url = git@github.com:Malabarba/rich-minority.git

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

+[submodule "shrink-path"]
+       path = lib/shrink-path
+       url = git@gitlab.com:bennya/shrink-path.el.git
+[submodule "shut-up"]
+       path = lib/shut-up
+       url = git@github.com:cask/shut-up.git
+[submodule "smart-mode-line"]
+       path = lib/smart-mode-line
+       url = git@github.com:Malabarba/smart-mode-line.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

-[submodule "undo-tree"]
-       path = lib/undo-tree
-       url = git@github.com:emacsorphanage/undo-tree.git
+[submodule "treepy"]
+       path = lib/treepy
+       url = git@github.com:volrath/treepy.el.git
+[submodule "typo"]
+       path = lib/typo
+       url = git@github.com:jorgenschaefer/typoel.git
+[submodule "unkillable-scratch"]
+       path = lib/unkillable-scratch
+       url = git@github.com:EricCrosson/unkillable-scratch.git

 [submodule "use-package"]
        path = lib/use-package
        url = git@github.com:jwiegley/use-package.git
 [submodule "use-package"]
        path = lib/use-package
        url = git@github.com:jwiegley/use-package.git

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

 [submodule "which-key"]
        path = lib/which-key
        url = git@github.com:justbur/emacs-which-key.git
 [submodule "which-key"]
        path = lib/which-key
        url = git@github.com:justbur/emacs-which-key.git

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

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

-[submodule "xelb"]
-       path = lib/xelb
-       url = git@github.com:ch11ng/xelb.git

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

+[submodule "yasnippet"]
+       path = lib/yasnippet
+       url = git@github.com:joaotavora/yasnippet.git