Module GuiConfig

module GuiConfig: sig .. end
Edit enabled provers

class provers : string -> object .. end
class dp_chooser : main:Design.main_window_extension_points -> available:provers -> enabled:provers -> object .. end
type mprover = 
| NoProver
| AltErgo
| Coq
| Why3ide
| Why3 of ProverWhy3.dp
class dp_button : available:provers -> enabled:provers -> object .. end