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")
+
val quit: unit -> unit
+ (** send current proof assistant state to hbugs broker *)
val notify: unit -> unit
+
val clear: unit -> unit
module type Unit = sig end
module Initialize (Tactics: InvokeTactics.Tactics) : Unit
+
+(*
+ External Web Services controls. TEMPORARY(?)
+*)
+
+val start_web_services: unit -> unit
+val stop_web_services: unit -> unit
+