# HG changeset patch # User wenzelm # Date 1283722272 -7200 # Node ID 8235606e2b2369ace980238af9b9bb220b98b9f2 # Parent 53886463f559fcedb8e2b85519f7c42d3e3c8757 use setmp_noncritical for PGIP, which is presumably sequential (PG clone); diff -r 53886463f559 -r 8235606e2b23 src/Pure/ProofGeneral/proof_general_pgip.ML --- a/src/Pure/ProofGeneral/proof_general_pgip.ML Sun Sep 05 23:26:16 2010 +0200 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML Sun Sep 05 23:31:12 2010 +0200 @@ -1044,7 +1044,7 @@ This works for preferences but not generally guaranteed because we haven't done full setup here (e.g., no pgml mode) *) fun process_pgip_emacs str = - setmp_CRITICAL output_xml_fn (!pgip_output_channel) process_pgip_plain str + setmp_noncritical output_xml_fn (!pgip_output_channel) process_pgip_plain str end