Erik Martin-Dorel (Jun 28 2022 at 23:58): 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
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