[html5] r4368 - [e] (0) Make the ABNF more valid. Fixing http://www.w3.org/Bugs/Public/show_bug. [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2009-10-27 13:31:09 -0700 (Tue, 27 Oct 2009)
New Revision: 4368

Modified:
   complete.html
   index
   source
Log:
[e] (0) Make the ABNF more valid.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=8087

Modified: complete.html
===================================================================
--- complete.html	2009-10-27 20:09:40 UTC (rev 4367)
+++ complete.html	2009-10-27 20:31:09 UTC (rev 4368)
@@ -12058,9 +12058,11 @@
   match the <code title="">style</code> production in the following
   ABNF, the character set for which is Unicode. <a href=#refsABNF>[ABNF]</a></p>
 
-  <pre>style         = no-c-start *( "<!--" no-c-end "-->" no-c-start )
-no-c-start    = <any string that doesn't contain the substring "<!--" >
-no-c-end      = <any string that doesn't contain the substring "-->" ></pre>
+  <pre>style         = no-c-start *( c-start no-c-end c-end no-c-start )
+no-c-start    = <any string that doesn't contain a substring that matches c-start >
+c-start       = "<!--"
+no-c-end      = <any string that doesn't contain a substring that matches c-end ></pre>
+c-end         = "-->"
 
   <!-- Unmatched comment-like syntax is invalid on a temporary basis,
        waiting for IE, WebKit, and Opera to fix their parsing bug
@@ -12315,7 +12317,7 @@
 
   <h4 id=script><span class=secno>4.3.1 </span>The <dfn><code>script</code></dfn> element</h4>
 
-  <dl class=element><dt>Categories</dt>
+  </pre><dl class=element><dt>Categories</dt>
    <dd><a href=#metadata-content>Metadata content</a>.</dd>
    <dd><a href=#flow-content>Flow content</a>.</dd>
    <dd><a href=#phrasing-content>Phrasing content</a>.</dd>

Modified: index
===================================================================
--- index	2009-10-27 20:09:40 UTC (rev 4367)
+++ index	2009-10-27 20:31:09 UTC (rev 4368)
@@ -11876,9 +11876,11 @@
   match the <code title="">style</code> production in the following
   ABNF, the character set for which is Unicode. <a href=#refsABNF>[ABNF]</a></p>
 
-  <pre>style         = no-c-start *( "<!--" no-c-end "-->" no-c-start )
-no-c-start    = <any string that doesn't contain the substring "<!--" >
-no-c-end      = <any string that doesn't contain the substring "-->" ></pre>
+  <pre>style         = no-c-start *( c-start no-c-end c-end no-c-start )
+no-c-start    = <any string that doesn't contain a substring that matches c-start >
+c-start       = "<!--"
+no-c-end      = <any string that doesn't contain a substring that matches c-end ></pre>
+c-end         = "-->"
 
   <!-- Unmatched comment-like syntax is invalid on a temporary basis,
        waiting for IE, WebKit, and Opera to fix their parsing bug
@@ -12133,7 +12135,7 @@
 
   <h4 id=script><span class=secno>4.3.1 </span>The <dfn><code>script</code></dfn> element</h4>
 
-  <dl class=element><dt>Categories</dt>
+  </pre><dl class=element><dt>Categories</dt>
    <dd><a href=#metadata-content>Metadata content</a>.</dd>
    <dd><a href=#flow-content>Flow content</a>.</dd>
    <dd><a href=#phrasing-content>Phrasing content</a>.</dd>

Modified: source
===================================================================
--- source	2009-10-27 20:09:40 UTC (rev 4367)
+++ source	2009-10-27 20:31:09 UTC (rev 4368)
@@ -12558,9 +12558,11 @@
   ABNF, the character set for which is Unicode. <a
   href="#refsABNF">[ABNF]</a></p>
 
-  <pre>style         = no-c-start *( "<!--" no-c-end "-->" no-c-start )
-no-c-start    = <any string that doesn't contain the substring "<!--" >
-no-c-end      = <any string that doesn't contain the substring "-->" ></pre>
+  <pre>style         = no-c-start *( c-start no-c-end c-end no-c-start )
+no-c-start    = <any string that doesn't contain a substring that matches c-start >
+c-start       = "<!--"
+no-c-end      = <any string that doesn't contain a substring that matches c-end ></pre>
+c-end         = "-->"
 
   <!-- Unmatched comment-like syntax is invalid on a temporary basis,
        waiting for IE, WebKit, and Opera to fix their parsing bug