elpasync pushed a change to branch elpa/proof-general.
from 85cde55a86 Merge pull request #679 from rssoc/master
new 5eed5eb87f Trying to support the rocq CLI.
new 828d459d50 Updating magic texi doc string.
new 05ad8c2ae9 Plug back and robistify proof-prog-name-ask.
new c9689aea0c Adapting compile tests to the rocq cli.
new d8a049f751 Adapting omit-proof to rocq prompt.
new fc4f823e5c simple-tests: fix tests for Rocq 9
new e5887b09a3 CI: improve support for Coq/Rocq release candidates in
cipg
new 491857f378 CI: add Coq/Rocq 9.0+rc1
new 1776d18d7a Merge pull request #810 from hendriktews/test-9
new f67da2d0aa Merge branch 'master' into fix-rocq-progname
new a967f22805 Merge pull request #815 from Matafou/fix-rocq-progname
Summary of changes:
.github/workflows/test.yml | 27 +++
ci/compile-tests/010-coqdep-errors/runtest.el | 10 +-
ci/doc/README.md | 28 ++-
ci/doc/coq-emacs-releases.org | 123 +++++------
ci/doc/currently-used-coq-emacs-versions | 9 +
ci/doc/currently-used-coq-nix-versions | 1 +
ci/simple-tests/coq-test-omit-proofs.el | 10 +-
ci/tools/cipg.ml | 84 ++++----
coq/coq-mode.el | 16 +-
coq/coq-par-compile.el | 27 ++-
coq/coq-system.el | 281 ++++++++++++++++----------
coq/coq.el | 1 -
doc/ProofGeneral.texi | 38 +++-
generic/proof-config.el | 2 +-
14 files changed, 407 insertions(+), 250 deletions(-)
