proof-general is added in MELPA

2018-09-02 11:19:09 +08:00 · 2018-09-02 11:19:09 +08:00 · 955b2a19d6
parent de346e33c6
commit 955b2a19d6
1 changed files with 1 additions and 4 deletions
--- a/layers/+lang/coq/packages.el
+++ b/layers/+lang/coq/packages.el
@ -12,10 +12,7 @@
 (setq coq-packages
      '(
        (company-coq :requires company)
-        (proof-general :location (recipe
-                                  :fetcher github
-                                  :repo "ProofGeneral/PG"
-                                  :files ("*")))
+        proof-general
        smartparens
        vi-tilde-fringe
        ))