search

ProofGeneral / PG

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

CI: update to Coq 8.19.2 and Emacs 29.4 #777

Closed hendriktews closed 4 months ago