diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-28 16:34:41 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-28 16:34:41 -0500 |
| commit | 0c716e4c6b7c2c44bbfd02b6503cae66af7b7480 (patch) | |
| tree | ac880382ea281825027b34768d6512d340596e56 /docs/doc/syntax.html | |
| parent | 4821f231a00dc93c42fb437359ea657c59c63053 (diff) | |
Separate syntax highlighting category for header/body characters ;:?
Diffstat (limited to 'docs/doc/syntax.html')
| -rw-r--r-- | docs/doc/syntax.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/doc/syntax.html b/docs/doc/syntax.html index 6eed337e..460fc460 100644 --- a/docs/doc/syntax.html +++ b/docs/doc/syntax.html @@ -69,15 +69,15 @@ <td><a href="#blocks">Block</a> such as a function definition</td> </tr> <tr> -<td><code><span class='Value'>:</span></code></td> +<td><code><span class='Head'>:</span></code></td> <td><a href="block.html#block-headers">Block header</a></td> </tr> <tr> -<td><code><span class='Value'>;</span></code></td> +<td><code><span class='Head'>;</span></code></td> <td><a href="block.html#multiple-bodies">Block body separator</a></td> </tr> <tr> -<td><code><span class='Value'>?</span></code></td> +<td><code><span class='Head'>?</span></code></td> <td><a href="block.html#predicates">Predicate</a></td> </tr> <tr> @@ -140,7 +140,7 @@ <tbody> <tr> <td><code><span class='Function'>↕</span> <span class='Number'>10</span></code></td> -<td><code><span class='Value'>w?</span></code></td> +<td><code><span class='Value'>w</span><span class='Head'>?</span></code></td> <td><code><span class='Function'>F</span></code></td> <td><code><span class='Value'>x</span></code></td> <td>Subject</td> @@ -149,7 +149,7 @@ </tr> <tr> <td><code><span class='Function'>+</span> <span class='Function'>⋈</span> <span class='Function'>-</span></code></td> -<td><code><span class='Function'>F</span><span class='Value'>?</span></code></td> +<td><code><span class='Function'>F</span><span class='Head'>?</span></code></td> <td><code><span class='Function'>G</span></code></td> <td><code><span class='Function'>H</span></code></td> <td>Function</td> |