top-nav-3.0.php

<?
include_once("$topdir/top-nav.php");
include_once("$topdir/include/nav.php");

$top_navlist[] = new TopNav("MPI 3.0", "$topdir/MPI_3.0_main_page.php");

$navlist[] = new Nav("ABI WG", "mpi3.0_abi.php");