summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2018-12-24 18:43:53 -0500
committerAmin Bandali <bandali@gnu.org>2018-12-24 18:43:53 -0500
commit426cec7a80db7a16d4b820e27996f05a68f99977 (patch)
treef9940904b46ccf133be610d70226fb2257ccf0c4
parentc31b1ac02d0c0b4c375384dc72cc26073ecb526c (diff)
downloadconfigs-426cec7a80db7a16d4b820e27996f05a68f99977.tar.gz
configs-426cec7a80db7a16d4b820e27996f05a68f99977.tar.xz
configs-426cec7a80db7a16d4b820e27996f05a68f99977.zip
[emacs][wip] fix proof general
Diffstat (limited to '')
-rw-r--r--init.org3
1 files changed, 2 insertions, 1 deletions
diff --git a/init.org b/init.org
index 3cf7343..d8da51c 100644
--- a/init.org
+++ b/init.org
@@ -1411,7 +1411,8 @@ Automatically save place in each file.
** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
#+begin_src emacs-lisp
-(use-package proof-general)
+(use-package proof-site
+ :straight proof-general)
#+end_src
** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])