[emacs][wip] fix proof general
authorAmin Bandali <bandali@gnu.org>
Mon, 24 Dec 2018 23:43:53 +0000 (18:43 -0500)
committerAmin Bandali <bandali@gnu.org>
Mon, 24 Dec 2018 23:43:53 +0000 (18:43 -0500)
init.org

index 3cf7343..d8da51c 100644 (file)
--- 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
 ** [[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]])
 #+end_src
 
 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])