array ("","About the project"),
"Blog" => array ("blog/","News"),
"ARGON" => array ("argon.html","An overview of ARGON"),
"Entities" => array ("entities.html","The building blocks of the ARGON environment"),
"Security" => array ("security.html","The ARGON security infrastructure"),
"Kernel" => "sep",
"HYDROGEN" => array ("hydrogen.html","The hardware abstraction layer"),
"HELIUM" => array ("helium.html","The microkernel"),
"AURUM" => array ("aurum.html","The resource management framework, covering real electronic money as well as resource quotas like printer credits and disk space"),
"IRON" => array ("iron.html","Structured data representation; our answer to ASN.1 or XML"),
"CHROME" => array ("chrome.html","The high-level programming language"),
"LITHIUM" => array ("lithium.html","The heart of the system - the request dispatcher"),
"Networking" => "sep",
"CAESIUM" => array ("caesium.html","Distributed periodic event scheduler"),
"IRIDIUM" => array ("iridium.html","Low level networking layer, isolating MERCURY and WOLFRAM from the underlying transport protocol"),
"MERCURY" => array ("mercury.html","The network protocol; our answer to CORBA, HTTP, BEEP, and friends"),
"WOLFRAM" => array ("wolfram.html","The inter-cluster network protocol. Reliable multicast and all that."),
"TUNGSTEN" => array ("tungsten.html","The distributed data store"),
"CARBON" => array ("carbon.html","The global namespace and store for static data. Our answer to DNS, HTTP, and Bittorrent."),
"Toolkits" => "sep",
"NEON" => array ("neon.html","The user interfacing toolkit"),
"IODINE" => array ("iodine.html","The personal identity and communication system; our answer to email, homepages, blogs, and FOAF"),
"FLUORINE" => array ("fluorine.html","Legacy systems interoperability toolkit. How to talk HTTP, SMTP, SQL, and the like."),
);
reset ($pages);
while (list ($title, $info) = each ($pages)) {
if ($info == "sep") {
echo "
" . $title . "
\n";
}
else {
list ($url,$text) = $info;
if ($title == $thispage) echo "$title\n";
else echo "$title\n";
}
}
?>