Stream: Coq users

Topic: ProofGeneral release 4.5


view this post on Zulip 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.

view this post on Zulip 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)

view this post on Zulip 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?

view this post on Zulip 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:

as well as:

view this post on Zulip Yannick Zakowski (Nov 14 2022 at 15:49):

Great, thanks for the detailed answer!


Last updated: Feb 01 2023 at 12:30 UTC