Production and token names
authorGavin Carothers <gavin@carothers.name>
Tue, 01 May 2012 12:55:20 -0700
changeset 280 f248c4a013e5
parent 279 670cf0805d2c
child 281 e91d96ad331e
Production and token names
rdf-turtle/index.html
--- a/rdf-turtle/index.html	Tue May 01 12:10:05 2012 -0700
+++ b/rdf-turtle/index.html	Tue May 01 12:55:20 2012 -0700
@@ -584,15 +584,15 @@
 
             </p>
 
-            <p>White space is significant in tokens
-            <a href="#grammar-production-IRI_REF">IRI_REF</a> and <a href="#grammar-production-String">string</a>.
+            <p>White space is significant in token
+            <a href="#grammar-production-IRIREF">IRIREF</a> and the production <a href="#grammar-production-String">String</a>.
             </p>
           </section>
           <section id="sec-grammar-comments">
             <h3>Comments</h3>
 
             <p>Comments in Turtle take the form of '#', outside an
-            <a href="#grammar-production-IRI_REF">IRI_REF</a> or strings,
+            <a href="#grammar-production-IRIREF">IRIREF</a> or <a href="#grammar-production-String">String</a>,
             and continue to the end of line (marked by characters U+000D or U+000A)
             or end of file if there is no end of line after the comment
             marker.  Comments are treated as white space.