elpasync pushed a change to branch elpa/proof-general.
from 1f93bf273d Merge pull request #788 from Matafou/fix-debug-mode
new 859c69dc18 (texi-docstring-magic-texi-for): Use
`help-function-arglist`
new e237a3bb62 texi-docstring-magic.el: Fix regression in last change
new a78543cba7 Merge pull request #820 from hendriktews/fix-magic
new eb4555c6ef CI: add Coq/Rocq 9.0.0, Emacs 30.1 and switch container
infrastructure
new 3d81aa7838 Merge pull request #817 from hendriktews/new-images
Summary of changes:
.github/workflows/test.yml | 146 ++++++++++++--------------
ci/doc/README.md | 66 ++++++------
ci/doc/coq-emacs-releases.org | 4 +-
ci/doc/currently-used-ci-coq-versions | 13 +++
ci/doc/currently-used-coq-emacs-versions | 35 ++++---
ci/doc/currently-used-coq-nix-versions | 13 ---
ci/tools/cipg.ml | 175 +++++++++++++++++--------------
doc/PG-adapting.texi | 46 ++++----
lib/texi-docstring-magic.el | 25 ++---
9 files changed, 261 insertions(+), 262 deletions(-)
create mode 100644 ci/doc/currently-used-ci-coq-versions
delete mode 100644 ci/doc/currently-used-coq-nix-versions
