protocol command for heap management, e.g. in Isabelle/jEdit/Scala console: PIDE.session.protocol_command("ML_System.share_common_data");
authorwenzelm
Tue, 05 Aug 2014 23:52:56 +0200
changeset 57868 0b954ac94827
parent 57867 abae8aff6262
child 57869 9665f79a7181
protocol command for heap management, e.g. in Isabelle/jEdit/Scala console: PIDE.session.protocol_command("ML_System.share_common_data");
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;