--- a/src/Pure/PIDE/protocol.ML Tue Jul 30 11:44:06 2013 +0200
+++ b/src/Pure/PIDE/protocol.ML Tue Jul 30 11:54:57 2013 +0200
@@ -8,7 +8,19 @@
struct
val _ =
- Isabelle_Process.protocol_command "echo" (fn args => List.app writeln args);
+ Isabelle_Process.protocol_command "Isabelle_Process.echo"
+ (fn args => List.app writeln args);
+
+val _ =
+ Isabelle_Process.protocol_command "Isabelle_Process.options"
+ (fn [options_yxml] =>
+ let val options = Options.decode (YXML.parse_body options_yxml) in
+ Options.set_default options;
+ Future.ML_statistics := true;
+ Multithreading.trace := Options.int options "threads_trace";
+ Multithreading.max_threads := Options.int options "threads";
+ Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 3 else 0)
+ end);
val _ =
Isabelle_Process.protocol_command "Document.define_command"