#795, Compiler warnings: wrong usage of unescaped single quotes#796

Open

andreas-roehler wants to merge 1 commit intoProofGeneral:masterfrom andreas-roehler:master

+5-5

Commits on Oct 8, 2024

ProofGeneral#795 , Compiler warnings: wrong usage of unescaped single quotes
andreas-roehler
committed