protocol command for heap management, e.g. in Isabelle/jEdit/Scala console: PIDE.session.protocol_command("ML_System.share_common_data");
--- 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;