Pierre Courtieu (Nov 14 2022 at 13:29): Pierre Courtieu (Nov 14 2022 at 13:29):Hi there.
We are happy to announce the release of Proof General version 4.5.
Details on this discourse post.
Erik Martin-Dorel (Nov 14 2022 at 14:13):Pierre Courtieu said:
Hi there.
We are happy to announce the release of Proof General version 4.5.
Details on this discourse post.
See also the accompanying Tweet thread, with a few comments:
https://twitter.com/ErikMartinDorel/status/1592149019354345472
[ANN] Dear Coq/PhoX/EasyCrypt/Qrhl-tool users and developers: we are happy to announce the release of Proof-General version 4.5 :computer::sparkles: → for a summary of the new features or the documentation in PDF, see the release notes in GitHub: https://github.com/ProofGeneral/PG/releases/tag/v4.5
- Martin-Dorel, Erik (@ErikMartinDorel) Yannick Zakowski (Nov 14 2022 at 14:43):Thanks for the release!
Just so that I know if I should change my habits: is there any difference between this new opam-switch-mode and using tuareg-opam-update-env, except for the new one not relying on tuareg being installed?
Erik Martin-Dorel (Nov 14 2022 at 14:56):Hi @Yannick Zakowski, thanks for your comment!
To sum up, opam-switch-mode provides the following features:
M-x opam-switch-set-switch RET … RET (indeed equivalent to M-x tuareg-opam-update-env RET … RET, without needing tuareg)as well as:
M-x opam-switch-mode also adds a tool-bar menu "opam-switch" and a mode-bar menu "OPSW" to select the switch more easily.As a backend feature, both M-x opam-switch-set-switch and the menus commands kill the ambient Coq session
(so, no more need to do C-u C-c C-x or M-: (proof-shell-exit t))
Finally, at the time we open the minor mode, opam-switch-mode remembers the initial switch that was enabled at startup time, so both M-x opam-switch-set-switch and the menus provide a feature to reset to this initial switch (which is not done by tuareg-opam currently IINM).
Yannick Zakowski (Nov 14 2022 at 15:49):Great, thanks for the detailed answer!
Last updated: Oct 13 2024 at 01:02 UTC