equal
deleted
inserted
replaced
6 %(head)s |
6 %(head)s |
7 %(stylesheet)s |
7 %(stylesheet)s |
8 %(body_prefix)s |
8 %(body_prefix)s |
9 <div class="header container"> |
9 <div class="header container"> |
10 [ <a class="reference external" href="README.html">About</a> |
10 [ <a class="reference external" href="README.html">About</a> |
11 | <a class="reference external" href="INSTALL.html">Installing</a> |
11 | <a class="reference external" href="INSTALL.html">Download</a> |
12 | <a class="reference external" href="MISC.html">Misc</a> |
12 | <a class="reference external" href="MISC.html">Misc</a> |
13 | <a class="reference external" href="STAT.html">Statistics</a> |
13 | <a class="reference external" href="STAT.html">Statistics</a> |
14 | <a class="reference external" href="CHANGES.html">Changes</a> |
14 | <a class="reference external" href="CHANGES.html">Changes</a> |
15 | <a class="reference external" href="LICENSE.html">License</a> |
15 | <a class="reference external" href="LICENSE.html">License</a> |
16 | <a class="reference external" href="AUTHORS.html">Authors</a> |
16 | <a class="reference external" href="AUTHORS.html">Authors</a> |