--- a/src/Pure/PIDE/protocol.ML Thu Apr 03 13:49:37 2014 +0200
+++ b/src/Pure/PIDE/protocol.ML Thu Apr 03 14:54:17 2014 +0200
@@ -8,11 +8,11 @@
struct
val _ =
- Isabelle_Process.protocol_command "Isabelle_Process.echo"
+ Isabelle_Process.protocol_command "Prover.echo"
(fn args => List.app writeln args);
val _ =
- Isabelle_Process.protocol_command "Isabelle_Process.options"
+ Isabelle_Process.protocol_command "Prover.options"
(fn [options_yxml] =>
let val options = Options.decode (YXML.parse_body options_yxml) in
Options.set_default options;