%% 
%% Search data file for dialyzer 2.5.2
%% generated September  3 2012
%% 
{"dialyzer.html", {function, {"dialyzer", "dialyzer"}},
[
  {"gui", "gui()", "gui-0"},
  {"gui", "gui(OptList)", "gui-1"},
  {"run", "run(OptList)", "run-1"},
  {"format_warning", "format_warning(Msg)", "format_warning-1"},
  {"plt_info", "plt_info(string())", "plt_info-1"}
]}.
{"dialyzer.html", {module, "dialyzer"}, ["dialyzer"]}.
{notused, application, ["dialyzer"]}.
