%% 
%% Search data file for public_key 0.5
%% generated February 22 2010
%% 
{"public_key.html", {function, {"public_key", "public_key"}},
[
  {"decode_private_key", "decode_private_key(KeyInfo)", "decode_private_key-1"},
  {"decode_private_key", "decode_private_key(KeyInfo, Password)", "decode_private_key-2"},
  {"pem_to_der", "pem_to_der(File)", "pem_to_der-1"},
  {"pkix_decode_cert", "pkix_decode_cert(Cert, Type)", "pkix_decode_cert-2"}
]}.
{"public_key.html", {module, "public_key"}, ["public_key"]}.
{notused, application, ["public_key"]}.