(fun _ ->
let c = MatitaMathView.cicBrowser () in
c#load (`About `Coercions));
+ connect_menu_item main#showHintsDbMenuItem
+ (fun _ ->
+ let c = MatitaMathView.cicBrowser () in
+ c#load (`About `Hints));
connect_menu_item main#showAutoGuiMenuItem
(fun _ -> MatitaAutoGui.auto_dialog Auto.get_auto_status);
connect_menu_item main#showTermGrammarMenuItem