~ integrate required . in decimals and doubles
--- a/rdf-turtle/turtle-bnf.html Mon Aug 15 20:02:21 2011 +0200
+++ b/rdf-turtle/turtle-bnf.html Mon Aug 15 20:04:03 2011 +0200
@@ -411,7 +411,7 @@
<td class="cell"><code class="production term">DECIMAL</code></td>
<td class="cell"> ::= </td>
-<td class="cell"><code class="content">[0-9]+ "." [0-9]*<br/>
+<td class="cell"><code class="content">[0-9]+ "." [0-9]+<br/>
| "." [0-9]+</code></td>
</tr>
</tbody>
@@ -422,7 +422,7 @@
<td class="cell"><code class="production term">DOUBLE</code></td>
<td class="cell"> ::= </td>
-<td class="cell"><code class="content">[0-9]+ "." [0-9]* <span class="prod"><a tabindex="80" class="grammarRef" href="#term-turtle2-EXPONENT">EXPONENT</a></span><br/>
+<td class="cell"><code class="content">[0-9]+ "." [0-9]+ <span class="prod"><a tabindex="80" class="grammarRef" href="#term-turtle2-EXPONENT">EXPONENT</a></span><br/>
| "." ( [0-9] )+ <span class="prod"><a tabindex="81" class="grammarRef" href="#term-turtle2-EXPONENT">EXPONENT</a></span><br/>
| ( [0-9] )+ <span class="prod"><a tabindex="82" class="grammarRef" href="#term-turtle2-EXPONENT">EXPONENT</a></span></code></td>
</tr>