spacemacs-coq
spacemacs-coq copied to clipboard
Remove manual path config for local proof-general.
For most users, it is probably most sensible and convenient to let Spacemacs automatically install proofgeneral from Elpa. ...Which is what it does just like that, if nothing contrary is specified in the package file. So it's better not to have the explicit path specification in there, and only mention proofgeneral
as a normal dependency in the packages
file.