Class GuiConfig.dp_chooser

method run : unit -> unit

Edit enabled provers