let disable () =
match !hbugs_client with None -> () | Some c -> c#hide ()
- (** send current proof assistant state to hbugs broker *)
let notify () =
try
if !hbugs_enabled then begin
let _ = use_hint_callback := use_hint
end
+
+let start_web_services () = ignore (Unix.system "make -C ../hbugs/ start")
+let stop_web_services () = ignore (Unix.system "make -C ../hbugs/ stop")
+