val quit: unit -> unit
- (** send current proof assistant state to hbugs broker *)
+ (** send current proof assistant state to hbugs broker *)
val notify: unit -> unit
val clear: unit -> unit
val start_web_services: unit -> unit
val stop_web_services: unit -> unit
+(* Other callbacks *)
+
+open Hbugs_types
+
+ (* what to do when the user single click on an hint *)
+val set_describe_hint_callback: (hint -> unit) -> unit
+