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;