Fix problems with error on the first command of a file.#816

Merged

Matafou merged 2 commits intoProofGeneral:masterfrom

Matafou:fix-first-cmd

Mar 28, 2025

Commits on Mar 21, 2025

Fix problems with error on the first command of a file.
Matafou
committed

Commits on Mar 27, 2025

Adding a test for error location at first command.
Matafou
committed