Use temp buffer for XML parsing#341

Open

psteckler wants to merge 1 commit intoProofGeneral:asyncfrom

psteckler:fix-237

Commits on Mar 5, 2018

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