Skip to content

Use temp buffer for XML parsing#341

Open
psteckler wants to merge 1 commit into
ProofGeneral:asyncfrom
psteckler:fix-237
Open

Use temp buffer for XML parsing#341
psteckler wants to merge 1 commit into
ProofGeneral:asyncfrom
psteckler:fix-237

use tmp buffer for each call to coq-server--xml-parse

cf83392
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs