# HG changeset patch
# User wenzelm
# Date 1407275576 -7200
# Node ID 0b954ac948272dc3b1e02cefa48ef659c8a443ac
# Parent  abae8aff6262165e53774b875195155a58931346
protocol command for heap management, e.g. in Isabelle/jEdit/Scala console: PIDE.session.protocol_command("ML_System.share_common_data");

diff -r abae8aff6262 -r 0b954ac94827 src/Pure/PIDE/protocol.ML
--- a/src/Pure/PIDE/protocol.ML	Tue Aug 05 20:40:35 2014 +0200
+++ b/src/Pure/PIDE/protocol.ML	Tue Aug 05 23:52:56 2014 +0200
@@ -123,5 +123,9 @@
           | Exn.Exn exn => (Runtime.exn_error_message exn; false));
     in Output.protocol_message (Markup.use_theories_result id ok) [] end);
 
+val _ =
+  Isabelle_Process.protocol_command "ML_System.share_common_data"
+    (fn [] => ML_System.share_common_data ());
+
 end;