Move the line about eof token generation to the definition of 'next input token'.

--HG--
extra : rebase_source : e98eb394af2870baea1e670ae5004200e2ac52b0

Author: tabatkins

css3-syntax/Overview.html

@@ -2050,11 +2050,6 @@ <h3 id=tree-construction><span class=secno>3.6. </span> Tree Construction</h3>
    stylesheet). The "output" of this stage consists of dynamically modifying
    or extending that stylesheet's CSSOM.
 
-  <p class=issue> Something about the fact that if the token stream is empty,
-   the <a href="#next-input-token"><i>next input token</i></a> is always the
-   eof token. This lets me simplify some algorithms by avoiding the need to
-   force the token to be reprocessed.
-
   <div class=issue>
    <p> TODO:
 
@@ -2084,7 +2079,10 @@ <h4 id=definitions0><span class=secno>3.6.2. </span> Definitions</h4>
    <dt><dfn id=next-input-token>next input token</dfn>
 
    <dd> The token following the <a href="#current-input-token"><i>current
-    input token</i></a> in the list of tokens produced by the tokenizer.
+    input token</i></a> in the list of tokens produced by the tokenizer. If
+    there isn't a token following the <a
+    href="#current-input-token"><i>current input token</i></a>, the <a
+    href="#next-input-token"><i>next input token</i></a> is an EOF token.
 
    <dt><dfn id=stack-of-open-rules>stack of open rules</dfn>
 

css3-syntax/Overview.src.html

@@ -2042,12 +2042,6 @@ <h3>
 		(sometimes a full CSSStyleSheet object, other times a "virtual" stylesheet).
 		The "output" of this stage consists of dynamically modifying or extending that stylesheet's CSSOM.
 
-	<p class='issue'>
-		Something about the fact that if the token stream is empty, 
-		the <i>next input token</i> is always the eof token.
-		This lets me simplify some algorithms
-		by avoiding the need to force the token to be reprocessed.
-
 	<div class='issue'>
 		<p>
 			TODO:
@@ -2080,6 +2074,8 @@ <h4>
 		<dt><dfn>next input token</dfn>
 		<dd>
 			The token following the <i>current input token</i> in the list of tokens produced by the tokenizer.
+			If there isn't a token following the <i>current input token</i>,
+			the <i>next input token</i> is an EOF token.
 
 		<dt><dfn>stack of open rules</dfn>
 		<dd>