toned message down

This commit is contained in:
joaquintides 2015-04-20 20:59:03 +02:00
parent b0068335bb
commit a4563aa66f

View File

@ -175,7 +175,7 @@ pointed to by <code>it</code>, or <code>size()</code> if <code>it==end()</code>.
<p>
Ranked indices provide the same interface as ordered indices plus several rank-related operations.
The cost of this extra functionality is higher memory consumption due to some internal additional
data (one word per element) and marginally longer execution times in insertion and erasure.
data (one word per element) and somewhat longer execution times in insertion and erasure.
The <a href="../reference/rnk_indices.html">reference</a> describes these indices in complete detail.
</p>
@ -818,7 +818,7 @@ Key extraction
<br>
<p>Revised April 19th 2015</p>
<p>Revised April 20th 2015</p>
<p>&copy; Copyright 2003-2015 Joaqu&iacute;n M L&oacute;pez Mu&ntilde;oz.
Distributed under the Boost Software