\n"); echo(" id}\" id=\"i{$entry->id}\">location). "\">{$entry->title_xml}

".$entry->web_date()."

\n"); echo("
• "); echo("location)."\">Release Notes"); echo("
\n"); if ($entry->download_item) { echo("
• "); echo("download_item)."\">Download"); echo("
\n"); } if ($entry->documentation) { echo("
• "); echo("documentation)."\">Documentation"); echo("
\n"); } echo("