Dear Coq/ProofGeneral users,

The emacs (melpa) package of ProofGeneral has been updated to support @RocqProver 9.0.0, with or without the new CLI, so we would encourage gentle testers to give it a try. Bug reports welcome!

cf. https://discourse.rocq-prover.org/t/looking-for-testers-for-proofgeneral-coq9-rocq-cli/2590
and https://github.com/ProofGeneral/PG/issues

#rocq #rocq_prover #ProofGeneral

#emacs #coq #proofgeneral

After ~6 years - A NEW RELEASE!

I wanted to try #Guix or #Nix to manage my dev dependencies, but I really fear the burden to make my (heavily) configured Emacs work with this setup :/. For instance with #ProofGeneral

use #ProofGeneral