From 19dbb5304cedcdff3319b2923beebd28d97164fd Mon Sep 17 00:00:00 2001
From: Jeremy Siek <jeremy.siek@gmail.com>
Date: Mon, 12 Jan 2004 20:50:44 +0000
Subject: [PATCH] I forget

[SVN r21648]
---
 doc/new-iter-concepts.html | 23 ++++++++++-----------
 doc/new-iter-concepts.rst  | 41 ++++++++++++++++++--------------------
 2 files changed, 29 insertions(+), 35 deletions(-)

diff --git a/doc/new-iter-concepts.html b/doc/new-iter-concepts.html
index 9dcc450..e49ef96 100755
--- a/doc/new-iter-concepts.html
+++ b/doc/new-iter-concepts.html
@@ -608,12 +608,12 @@ Pass Iterator, the following expressions are valid and respect the
 stated semantics.</p>
 <table class="table" frame="border" rules="all">
 <colgroup>
-<col width="44%" />
-<col width="39%" />
-<col width="17%" />
+<col width="38%" />
+<col width="34%" />
+<col width="27%" />
 </colgroup>
 <thead valign="bottom">
-<tr><th colspan="3">Forward Traversal Iterator Requirements (in addition to Single Pass Iterator)</th>
+<tr><th colspan="3">Forward Traversal Iterator Requirements (in addition to Default Constructible and Single Pass Iterator)</th>
 </tr>
 <tr><th>Expression</th>
 <th>Return Type</th>
@@ -623,17 +623,14 @@ stated semantics.</p>
 <tbody valign="top">
 <tr><td><tt class="literal"><span class="pre">X</span> <span class="pre">u;</span></tt></td>
 <td><tt class="literal"><span class="pre">X&amp;</span></tt></td>
-<td>note: <tt class="literal"><span class="pre">u</span></tt> may
-have a singular
-value.</td>
+<td>note: <tt class="literal"><span class="pre">u</span></tt> may have a
+singular value.</td>
 </tr>
 <tr><td><tt class="literal"><span class="pre">++r</span></tt></td>
 <td><tt class="literal"><span class="pre">X&amp;</span></tt></td>
-<td><tt class="literal"><span class="pre">r</span> <span class="pre">==</span> <span class="pre">s</span></tt> and
-<tt class="literal"><span class="pre">r</span></tt> is
-dereferenceable
-implies <tt class="literal"><span class="pre">++r</span>
-<span class="pre">==</span> <span class="pre">++s.</span></tt></td>
+<td><tt class="literal"><span class="pre">r</span> <span class="pre">==</span> <span class="pre">s</span></tt> and <tt class="literal"><span class="pre">r</span></tt> is
+dereferenceable implies
+<tt class="literal"><span class="pre">++r</span> <span class="pre">==</span> <span class="pre">++s.</span></tt></td>
 </tr>
 <tr><td><tt class="literal"><span class="pre">iterator_traits&lt;X&gt;::difference_type</span></tt></td>
 <td>A signed integral type representing
@@ -881,7 +878,7 @@ LocalWords:  TraversalTag typename lvalues DWA Hmm JGS mis enum -->
 <hr class="footer"/>
 <div class="footer">
 <a class="reference" href="new-iter-concepts.rst">View document source</a>.
-Generated on: 2004-01-12 20:31 UTC.
+Generated on: 2004-01-12 20:50 UTC.
 Generated by <a class="reference" href="http://docutils.sourceforge.net/">Docutils</a> from <a class="reference" href="http://docutils.sourceforge.net/rst.html">reStructuredText</a> source.
 </div>
 </body>
diff --git a/doc/new-iter-concepts.rst b/doc/new-iter-concepts.rst
index 9144d1b..d30e6ec 100644
--- a/doc/new-iter-concepts.rst
+++ b/doc/new-iter-concepts.rst
@@ -525,28 +525,25 @@ concept if, in addition to ``X`` meeting the requirements of Single
 Pass Iterator, the following expressions are valid and respect the
 stated semantics.
 
-+-------------------------------------------------------------------------------------------+
-|Forward Traversal Iterator Requirements (in addition to Single Pass Iterator)              |
-+---------------------------------------+-----------------------------------+---------------+
-|Expression                             |Return Type                        |Assertion/Note |
-+=======================================+===================================+===============+
-|``X u;``                               |``X&``                             |note: ``u`` may|
-|                                       |                                   |have a singular|
-|                                       |                                   |value.         |
-+---------------------------------------+-----------------------------------+---------------+
-|``++r``                                |``X&``                             |``r == s`` and |
-|                                       |                                   |``r`` is       |
-|                                       |                                   |dereferenceable|
-|                                       |                                   |implies ``++r  |
-|                                       |                                   |== ++s.``      |
-+---------------------------------------+-----------------------------------+---------------+
-|``iterator_traits<X>::difference_type``|A signed integral type representing|               |
-|                                       |the distance between iterators     |               |
-|                                       |                                   |               |
-+---------------------------------------+-----------------------------------+---------------+
-|``traversal_category<X>::type``        |Convertible to                     |               |
-|                                       |``forward_traversal_tag``          |               |
-+---------------------------------------+-----------------------------------+---------------+
++--------------------------------------------------------------------------------------------------------+
+|Forward Traversal Iterator Requirements (in addition to Default Constructible and Single Pass Iterator) |
++---------------------------------------+-----------------------------------+----------------------------+
+|Expression                             |Return Type                        |Assertion/Note              |
++=======================================+===================================+============================+
+|``X u;``                               |``X&``                             |note: ``u`` may have a      |
+|                                       |                                   |singular value.             |
++---------------------------------------+-----------------------------------+----------------------------+
+|``++r``                                |``X&``                             |``r == s`` and ``r`` is     |
+|                                       |                                   |dereferenceable implies     |
+|                                       |                                   |``++r == ++s.``             |
++---------------------------------------+-----------------------------------+----------------------------+
+|``iterator_traits<X>::difference_type``|A signed integral type representing|                            |
+|                                       |the distance between iterators     |                            |
+|                                       |                                   |                            |
++---------------------------------------+-----------------------------------+----------------------------+
+|``traversal_category<X>::type``        |Convertible to                     |                            |
+|                                       |``forward_traversal_tag``          |                            |
++---------------------------------------+-----------------------------------+----------------------------+
 
 .. TR1: forward_traversal_iterator_tag changed to
    forward_traversal_tag for consistency