From 426cec7a80db7a16d4b820e27996f05a68f99977 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Mon, 24 Dec 2018 18:43:53 -0500 Subject: [PATCH] [emacs][wip] fix proof general --- init.org | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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]]) -- 2.20.1