summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAmin Bandali <amin@aminb.org>2018-07-06 12:11:16 -0400
committerAmin Bandali <amin@aminb.org>2018-07-06 12:11:16 -0400
commit695170a4c7ba5c076b3f1c58b66836f20d242fa0 (patch)
tree1c2b88e15fae65e2e5d269cb132458d928b37515
parentfad62af517873a5a40dc4487a505b88383b794f1 (diff)
downloadconfigs-695170a4c7ba5c076b3f1c58b66836f20d242fa0.tar.gz
configs-695170a4c7ba5c076b3f1c58b66836f20d242fa0.tar.xz
configs-695170a4c7ba5c076b3f1c58b66836f20d242fa0.zip
[emacs] assimilate Proof General (for Coq)
Diffstat (limited to '')
-rw-r--r--.gitmodules3
-rw-r--r--init.org7
m---------lib/proof-site0
3 files changed, 10 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index 165cebc..8aff0aa 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -127,6 +127,9 @@
[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
diff --git a/init.org b/init.org
index bcccd39..0a61745 100644
--- a/init.org
+++ b/init.org
@@ -1091,6 +1091,13 @@ TODO: break this giant source block down into individual org sections.
:config (setq alloy-basic-offset 2))
#+end_src
+** Coq
+
+#+begin_src emacs-lisp
+(use-package proof-site ; Proof General
+ :load-path "lib/proof-site/generic/")
+#+end_src
+
** [[https://github.com/leanprover/lean-mode][Lean]]
#+begin_src emacs-lisp
diff --git a/lib/proof-site b/lib/proof-site
new file mode 160000
+Subproject b238dab7a2f8a52281a920df027c3dea4fc4b28