elpasync pushed a change to branch elpa/proof-general.
from 0ee2b75939 Merge pull request #663 from Matafou/qrhl-announce
new 48ab233ea7 coq: make Proof General/coq opam-switch-mode aware
new a3d0fc9875 docs: Document OPSW in ProofGeneral.texi
new ab510c61e2 Merge pull request #656 from hendriktews/opam-aware
new c366365aad chore: Prepare the 4.5 release
Summary of changes:
CHANGES | 7 ++++++
README.md | 2 +-
coq/coq-compile-common.el | 18 ----------------
coq/coq.el | 54 +++++++++++++++++++++++++++++++++++++++++------
doc/PG-adapting.texi | 4 ++--
doc/ProofGeneral.texi | 48 ++++++++++++++++++++++++++++++++++++++---
etc/ProofGeneral.spec | 2 +-
generic/proof-site.el | 4 ++--
proof-general.el | 4 ++--
9 files changed, 107 insertions(+), 36 deletions(-)
