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

Merged

hendriktews merged 2 commits intoProofGeneral:masterfrom hendriktews:loc-par

Nov 21, 2024

+582-147

Commits on Nov 9, 2024

test that Coq background compilation is not affected by local variables
hendriktews
committed

Commits on Nov 12, 2024

par-compile: record and set current scripting buffer
hendriktews
committed