Module GuiConfig

module GuiConfig: sig .. end
Edit enabled provers

select automatically the provers set on the command line


class provers : string -> [Why3.Whyconf.Sprover.t] Widget.selector
class dp_chooser : main:Design.main_window_extension_points -> provers:provers -> object .. end