--- a/src/Pure/Tools/debugger.scala Tue Jul 21 14:12:45 2015 +0200
+++ b/src/Pure/Tools/debugger.scala Tue Jul 21 19:04:36 2015 +0200
@@ -41,4 +41,16 @@
val functions = Map.empty[String, (Prover, Prover.Protocol_Output) => Boolean] // FIXME
}
+
+
+ /* protocol commands */
+
+ def init(session: Session): Unit =
+ session.protocol_command("Debugger.init")
+
+ def cancel(session: Session, id: String): Unit =
+ session.protocol_command("Debugger.cancel", id)
+
+ def input(session: Session, id: String, msg: String*): Unit =
+ session.protocol_command("Debugger.input", (id :: msg.toList):_*)
}