[emacs] assimilate Proof General (for Coq)

[~bandali/configs] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 28eced6..8aff0aa 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -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:dwwmmn/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


@@ -49,9 +52,6 @@
 [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 "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


@@ -79,6 +79,12 @@
 [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 "htmlize"]
+       path = lib/htmlize
+       url = git@github.com:hniksic/emacs-htmlize.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


@@ -92,6 +98,7 @@
 [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


@@ -120,6 +127,9 @@
 [submodule "popup"]
        path = lib/popup
        url = git@github.com:auto-complete/popup-el.git
 [submodule "popup"]
        path = lib/popup
        url = git@github.com:auto-complete/popup-el.git

+[submodule "proof-site"]  # Proof General
+       path = lib/proof-site
+       url = git@github.com:ProofGeneral/PG.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


@@ -138,9 +148,6 @@
 [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