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


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