1<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> 2<html xmlns="http://www.w3.org/1999/xhtml"> 3<head> 4<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> 5<title>$title</title> 6<link href="$relpath$eigendoxy_tabs.css" rel="stylesheet" type="text/css"> 7<link href="$relpath$search/search.css" rel="stylesheet" type="text/css"/> 8<script type="text/javaScript" src="$relpath$search/search.js"></script> 9<link href="$relpath$eigendoxy.css" rel="stylesheet" type="text/css"> 10</head> 11<body onload='searchBox.OnSelectItem(0);'> 12<a name="top"></a> 13<a class="logo" href="http://eigen.tuxfamily.org/"> 14<img class="logo" src="Eigen_Silly_Professor_64x64.png" width=64 height=64 alt="Eigen's silly professor"/></a> 15
