Proof General Proof General

Organize your proofs!

"main", "News" => "news", "Features" => "features", "Download" => "download", "Documentation" => "doc", "Development" => "devel", "About" => "about", "Links" => "links" ); $DEFAULT = $links_arr["Home"]; $wanted_okay = 0; for (reset($links_arr); $name = key($links_arr); next($links_arr)) { if ($WANTED == $links_arr[$name]) { $wanted_okay = 1; } }; if (! $wanted_okay) { $WANTED = "main"; }; for (reset($links_arr); $name = key($links_arr); next($links_arr)) { print $separator; if ($WANTED == $links_arr[$name]) { print "" . $name . ""; } else { link_root($links_arr[$name],$name); } print "
\n"; } ?>