src/Pure/Thy/ROOT.ML

 (*theory auto loader database*)
 use "thy_load.ML";
 use "thy_info.ML";
 
 (*theory presentation*)
-(*use "html.ML";*)
-(*use "browser_info.ML";*)	(* FIXME *)
+use "html.ML";
+use "browser_info.ML";
 use "present.ML";
 use "thm_database.ML";
 
 use "session.ML";