Stream: Proof General users

Topic: ProofGeneral release 4.5


view this post on Zulip Pierre Courtieu (Nov 14 2022 at 13:28):

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:14):

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)

Last updated: Feb 06 2023 at 06:29 UTC