[html5] r6376 - [e] (0) clarification Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=13292

[whatwg at whatwg.org]

Author: ianh
Date: 2011-08-05 16:14:04 -0700 (Fri, 05 Aug 2011)
New Revision: 6376

Modified:
   complete.html
   index
   source
Log:
[e] (0) clarification
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=13292

Modified: complete.html
===================================================================
--- complete.html	2011-08-05 15:33:00 UTC (rev 6375)
+++ complete.html	2011-08-05 23:14:04 UTC (rev 6376)
@@ -33334,11 +33334,18 @@
 
    <li><p>Let <var title="">classes</var> be an empty list.</li>
 
-   <li><p><i>Loop</i>: If <var title="">position</var> is past the end of
-   <var title="">input</var>, let <var title="">c</var> be an
-   end-of-file marker. Otherwise, let <var title="">c</var> be the
-   character in <var title="">input</var> pointed to by <var title="">position</var>.</li>
+   <li>
 
+    <p><i>Loop</i>: If <var title="">position</var> is past the end of
+    <var title="">input</var>, let <var title="">c</var> be an
+    end-of-file marker. Otherwise, let <var title="">c</var> be the
+    character in <var title="">input</var> pointed to by <var title="">position</var>.</p>
+
+    <p class=note>An end-of-file marker is not a Unicode character,
+    it is used to end the tokenizer.</p>
+
+   </li>
+
    <li>
 
     <p>Jump to the state given by <var title="">tokenizer

Modified: index
===================================================================
--- index	2011-08-05 15:33:00 UTC (rev 6375)
+++ index	2011-08-05 23:14:04 UTC (rev 6376)
@@ -33206,11 +33206,18 @@
 
    <li><p>Let <var title="">classes</var> be an empty list.</li>
 
-   <li><p><i>Loop</i>: If <var title="">position</var> is past the end of
-   <var title="">input</var>, let <var title="">c</var> be an
-   end-of-file marker. Otherwise, let <var title="">c</var> be the
-   character in <var title="">input</var> pointed to by <var title="">position</var>.</li>
+   <li>
 
+    <p><i>Loop</i>: If <var title="">position</var> is past the end of
+    <var title="">input</var>, let <var title="">c</var> be an
+    end-of-file marker. Otherwise, let <var title="">c</var> be the
+    character in <var title="">input</var> pointed to by <var title="">position</var>.</p>
+
+    <p class=note>An end-of-file marker is not a Unicode character,
+    it is used to end the tokenizer.</p>
+
+   </li>
+
    <li>
 
     <p>Jump to the state given by <var title="">tokenizer

Modified: source
===================================================================
--- source	2011-08-05 15:33:00 UTC (rev 6375)
+++ source	2011-08-05 23:14:04 UTC (rev 6376)
@@ -36536,12 +36536,19 @@
 
    <li><p>Let <var title="">classes</var> be an empty list.</p></li>
 
-   <li><p><i>Loop</i>: If <var title="">position</var> is past the end of
-   <var title="">input</var>, let <var title="">c</var> be an
-   end-of-file marker. Otherwise, let <var title="">c</var> be the
-   character in <var title="">input</var> pointed to by <var
-   title="">position</var>.</p></li>
+   <li>
 
+    <p><i>Loop</i>: If <var title="">position</var> is past the end of
+    <var title="">input</var>, let <var title="">c</var> be an
+    end-of-file marker. Otherwise, let <var title="">c</var> be the
+    character in <var title="">input</var> pointed to by <var
+    title="">position</var>.</p>
+
+    <p class="note">An end-of-file marker is not a Unicode character,
+    it is used to end the tokenizer.</p>
+
+   </li>
+
    <li>
 
     <p>Jump to the state given by <var title="">tokenizer