Proof General
Proof General

Organize your proofs!

.'; $urlbits = parse_url($REQUEST_URI); $file = ereg_replace("^(.*/)+","",$urlbits["path"]); $WANTED = ereg_replace(".html","",$file); print "\n"; $links_arr = array( "Home" => "main", "Features" => "features", "Download" => "download", "News" => "news", "Screenshots" => "screenshot", "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 { print "$name"; } print " \n"; if ($name=="Download" || $name=="Documentation") print "\n"; } print "
\n"; ?>