<a href="0.95/index.html">About</a>
</div>
<div class="menuitem">
<a href="0.95/releaseNotes_0.95.html">Release Notes</a>
</div>
<div class="menuitem">
<a href="0.95/changes_0.95.html">Changes (0.95)</a>
</div>
<div class="menuitem">
<a href="0.95/changes_0.95beta.html">Changes (0.95beta)</a>
</div>
<div class="menuitem">
<a href="0.95/knownissues_overview.html">Known Issues</a>
</div>
<div class="menuitem">
<a href="0.95/upgrading.html">Upgrading</a>
</div>
<div onclick="SwitchMenu('menu_1.5.7', 'skin/')" 