Code

Use temp buffer for XML parsing#341

Code

Open

psteckler wants to merge 1 commit intoProofGeneral:asyncProofGeneral/PG:asyncfrom psteckler:fix-237psteckler/ProofGeneral:fix-237Copy head branch name to clipboard

+24-36

Commits

Commits on Mar 5, 2018

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

  psteckler

  committed
  cf83392

  Copy full SHA for cf83392