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

test that Coq background compilation is not affected by local variables #799

Closed hendriktews closed 4 days ago

hendriktews commented 2 weeks ago

See also #797

hendriktews commented 1 week ago

With all the tests that we have on background compilation, I feel pretty confident about this change. So I'll merge it next week if nobody objects.