search

ProofGeneral / PG

This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
491 stars 88 forks source link

CI: test 8.19.0 instead of 8.19+rc1 #732

Closed hendriktews closed 9 months ago

hendriktews commented 9 months ago

Additionally, delete the pdf version of the CI documentation, can be build with the Makefile.