<li><a href="#tag-A4">Documentation</a></li>
<li><a href="user_guide/UserGuide.html">On-line User Guide</a></li>
<li><a href="#tag-A5">More Screenshots</a></li>
- <li><a href="whats_new/4.7.2/index.html">What's New in 4.7.2?</a>(stable)</li>
+ <li><a href="whats_new/4.7.3/index.html">What's New in 4.7.3?</a>(stable)</li>
+ <li><a href="whats_new/4.7.2/index.html">What's New in 4.7.2?</a></li>
<li><a href="whats_new/4.7.1/index.html">What's New in 4.7.1?</a></li>
<li><a href="whats_new/4.7.0/index.html">What's New in 4.7.0?</a></li>
<li><a href="whats_new/4.6.2/index.html">What's New in 4.6.2?</a></li>