src/Pure/PIDE/protocol_handlers.scala

--- a/src/Pure/PIDE/protocol_handlers.scala	Thu Aug 27 13:06:58 2020 +0200
+++ b/src/Pure/PIDE/protocol_handlers.scala	Thu Aug 27 15:16:56 2020 +0200
@@ -74,6 +74,10 @@
 {
   private val state = Synchronized(Protocol_Handlers.State(session))
 
+  def prover_options(options: Options): Options =
+    (options /: state.value.handlers)(
+      { case (opts, (_, handler)) => handler.prover_options(opts) })
+
   def get(name: String): Option[Session.Protocol_Handler] = state.value.get(name)
   def init(handler: Session.Protocol_Handler): Unit = state.change(_.init(handler))
   def init(name: String): Unit = state.change(_.init(name))