X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaMathView.ml;h=b8dd3f1bdcb5bb2d5e0f01428aaf08306ac06fec;hb=f39bfe067b475f99d3da6c1c62b101e17819c3a4;hp=fc1b7d47022935c7a83994218fc5fec6052ba787;hpb=24fd86ebb1da93bc4ef42c344b0f0dcac3a14d3c;p=helm.git

diff --git a/matita/matitaMathView.ml b/matita/matitaMathView.ml
index fc1b7d470..b8dd3f1bd 100644
--- a/matita/matitaMathView.ml
+++ b/matita/matitaMathView.ml
@@ -931,8 +931,12 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history)
         match self#currentCicUri with
         | Some uri -> self#load (`Metadata (`Deps (`Back, uri)))
         | None -> ());
+      (* remove hbugs *)
+      (*
       connect_menu_item win#hBugsTutorsMenuItem (fun () ->
         self#load (`HBugs `Tutors));
+      *)
+      win#hBugsTutorsMenuItem#misc#hide ();
       connect_menu_item win#browserUrlMenuItem (fun () ->
         win#browserUri#entry#misc#grab_focus ());