<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>
<p>Updated:
<!-- timestamp start -->
-$Date: 2013/08/29 05:15:44 $
+$Date: 2014/01/06 02:51:57 $
<!-- timestamp end -->
</p>
</div>