Proof General
Proof General

Organize your proofs!

.'; $WANTED=$HTTP_GET_VARS["page"]; print "\n"; $links_arr = array( "Home" => "main", "Features" => "features", "Download" => "download", "Documentation" => "doc", "News" => "news", "Development" => "devel", "About" => "about", "Links" => "links" ); $midpoint = $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"; if ($name=="Download" || $name=="Development") print ""; } print "
\n"; ?>