Stream: Proof General users

Topic: ✔ update proof general when updating coq


view this post on Zulip Erik Martin-Dorel (Jun 28 2022 at 23:58):

FWIW, whatever is the (M)ELPA distribution you chose, it is easy to automatically update proof-general (and sibling packages) by typing:

M-x p-u-e-p RET or M-x proof-upgrade-elpa-packages RET

cf. https://proofgeneral.github.io/#keeping-proof-general-up-to-date

view this post on Zulip Notification Bot (Jun 28 2022 at 23:59):

Erik Martin-Dorel has marked this topic as resolved.


Last updated: Feb 06 2023 at 05:03 UTC