Change whitespace language
authorGavin Carothers <gavin@carothers.name>
Tue, 15 May 2012 11:40:45 -0700
changeset 385 7a998fe9dd9b
parent 384 c9292e539063
child 386 bb716cf16460
child 387 720934b1d472
Change whitespace language
rdf-turtle/index.html
--- a/rdf-turtle/index.html	Tue May 15 11:35:43 2012 -0700
+++ b/rdf-turtle/index.html	Tue May 15 11:40:45 2012 -0700
@@ -579,15 +579,9 @@
           </p>
           <section id="sec-grammar-ws">
             <h3>White Space</h3>
-
-            <p>White space (production <a href="#grammar-production-WS">ws</a>) is used to separate
-            two tokens which would otherwise be (mis-)recognized as one token.
+			<p>White space (production <a href="#grammar-production-WS">WS</a>) is used to separate two terminals which would otherwise be (mis-)recognized as one terminal. Rule names below in capitals indicate where white space is significant; these form a possible choice of terminals for constructing a Turtle parser.</p>
 
-            </p>
-
-            <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>
+			<p>White space is significant in terminal <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>