Doc: no headers in tables in semantics

This commit is contained in:
Andrzej Krzemienski
2015-05-27 17:06:31 +02:00
parent 4be4646ddd
commit 9b1894a2f3
3 changed files with 118 additions and 118 deletions

View File

@ -838,28 +838,27 @@
<col>
<col>
</colgroup>
<thead><tr>
<th>
</th>
<th>
<p>
<code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
contains a value
</p>
</th>
<th>
<p>
<code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
does not contain a value
</p>
</th>
</tr></thead>
<thead><tr></tr></thead>
<tbody>
<tr>
<td>
</td>
<td>
<p>
<code class="computeroutput"><span class="identifier">rhs</span></code> contains
a value
<span class="bold"><strong><code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code> contains a value</strong></span>
</p>
</td>
<td>
<p>
<span class="bold"><strong><code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code> does not contain a value</strong></span>
</p>
</td>
</tr>
<tr>
<td>
<p>
<span class="bold"><strong><code class="computeroutput"><span class="identifier">rhs</span></code>
contains a value</strong></span>
</p>
</td>
<td>
@ -879,8 +878,8 @@
<tr>
<td>
<p>
<code class="computeroutput"><span class="identifier">rhs</span></code> does
not contain a value
<span class="bold"><strong><code class="computeroutput"><span class="identifier">rhs</span></code>
does not contain a value</strong></span>
</p>
</td>
<td>
@ -995,28 +994,27 @@
<col>
<col>
</colgroup>
<thead><tr>
<th>
</th>
<th>
<p>
<code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
contains a value
</p>
</th>
<th>
<p>
<code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
does not contain a value
</p>
</th>
</tr></thead>
<thead><tr></tr></thead>
<tbody>
<tr>
<td>
</td>
<td>
<p>
<code class="computeroutput"><span class="identifier">rhs</span></code> contains
a value
<span class="bold"><strong><code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code> contains a value</strong></span>
</p>
</td>
<td>
<p>
<span class="bold"><strong><code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code> does not contain a value</strong></span>
</p>
</td>
</tr>
<tr>
<td>
<p>
<span class="bold"><strong><code class="computeroutput"><span class="identifier">rhs</span></code>
contains a value</strong></span>
</p>
</td>
<td>
@ -1035,8 +1033,8 @@
<tr>
<td>
<p>
<code class="computeroutput"><span class="identifier">rhs</span></code> does
not contain a value
<span class="bold"><strong><code class="computeroutput"><span class="identifier">rhs</span></code>
does not contain a value</strong></span>
</p>
</td>
<td>
@ -1117,28 +1115,27 @@
<col>
<col>
</colgroup>
<thead><tr>
<th>
</th>
<th>
<p>
<code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
contains a value
</p>
</th>
<th>
<p>
<code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
does not contain a value
</p>
</th>
</tr></thead>
<thead><tr></tr></thead>
<tbody>
<tr>
<td>
</td>
<td>
<p>
<code class="computeroutput"><span class="identifier">rhs</span></code> contains
a value
<span class="bold"><strong><code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code> contains a value</strong></span>
</p>
</td>
<td>
<p>
<span class="bold"><strong><code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code> does not contain a value</strong></span>
</p>
</td>
</tr>
<tr>
<td>
<p>
<span class="bold"><strong><code class="computeroutput"><span class="identifier">rhs</span></code>
contains a value</strong></span>
</p>
</td>
<td>
@ -1158,8 +1155,8 @@
<tr>
<td>
<p>
<code class="computeroutput"><span class="identifier">rhs</span></code> does
not contain a value
<span class="bold"><strong><code class="computeroutput"><span class="identifier">rhs</span></code>
does not contain a value</strong></span>
</p>
</td>
<td>
@ -1222,28 +1219,27 @@
<col>
<col>
</colgroup>
<thead><tr>
<th>
</th>
<th>
<p>
<code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
contains a value
</p>
</th>
<th>
<p>
<code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
does not contain a value
</p>
</th>
</tr></thead>
<thead><tr></tr></thead>
<tbody>
<tr>
<td>
</td>
<td>
<p>
<code class="computeroutput"><span class="identifier">rhs</span></code> contains
a value
<span class="bold"><strong><code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code> contains a value</strong></span>
</p>
</td>
<td>
<p>
<span class="bold"><strong><code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code> does not contain a value</strong></span>
</p>
</td>
</tr>
<tr>
<td>
<p>
<span class="bold"><strong><code class="computeroutput"><span class="identifier">rhs</span></code>
contains a value</strong></span>
</p>
</td>
<td>
@ -1262,8 +1258,8 @@
<tr>
<td>
<p>
<code class="computeroutput"><span class="identifier">rhs</span></code> does
not contain a value
<span class="bold"><strong><code class="computeroutput"><span class="identifier">rhs</span></code>
does not contain a value</strong></span>
</p>
</td>
<td>
@ -2274,28 +2270,27 @@
<col>
<col>
</colgroup>
<thead><tr>
<th>
</th>
<th>
<p>
<code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
contains a value
</p>
</th>
<th>
<p>
<code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
does not contain a value
</p>
</th>
</tr></thead>
<thead><tr></tr></thead>
<tbody>
<tr>
<td>
</td>
<td>
<p>
<code class="computeroutput"><span class="identifier">rhs</span></code> contains
a value
<span class="bold"><strong><code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code> contains a value</strong></span>
</p>
</td>
<td>
<p>
<span class="bold"><strong><code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code> does not contain a value</strong></span>
</p>
</td>
</tr>
<tr>
<td>
<p>
<span class="bold"><strong><code class="computeroutput"><span class="identifier">rhs</span></code>
contains a value</strong></span>
</p>
</td>
<td>
@ -2317,8 +2312,8 @@
<tr>
<td>
<p>
<code class="computeroutput"><span class="identifier">rhs</span></code> does
not contain a value
<span class="bold"><strong><code class="computeroutput"><span class="identifier">rhs</span></code>
does not contain a value</strong></span>
</p>
</td>
<td>