From 0c716e4c6b7c2c44bbfd02b6503cae66af7b7480 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 28 Jan 2022 16:34:41 -0500
Subject: Separate syntax highlighting category for header/body characters ;:?

---
 docs/doc/undo.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'docs/doc/undo.html')

diff --git a/docs/doc/undo.html b/docs/doc/undo.html
index f2082a10..3a2ddcba 100644
--- a/docs/doc/undo.html
+++ b/docs/doc/undo.html
@@ -45,8 +45,8 @@
 <h2 id="undo-headers"><a class="header" href="#undo-headers">Undo headers</a></h2>
 <p>Of course BQN will never be able to invert all the functions you could write (if it could you could earn a <em>lot</em> of bitcoins, among other feats). But it does recognize some <a href="block.html#block-headers">header</a> forms that you can use to specify the inverse of a block function. BQN will trust you and won't verify the results your specified inverse gives.</p>
 <pre><span class='Brace'>{</span>
-  <span class='Function'>𝕊</span><span class='Value'>𝕩:</span>  <span class='Value'>𝕩</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>+</span><span class='Value'>𝕩</span> <span class='Value'>;</span>
-  <span class='Function'>𝕊</span><span class='Modifier'>⁼</span><span class='Value'>𝕩:</span> <span class='Value'>𝕩</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>-</span><span class='Value'>𝕩</span>
+  <span class='Function'>𝕊</span><span class='Value'>𝕩</span><span class='Head'>:</span>  <span class='Value'>𝕩</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>+</span><span class='Value'>𝕩</span> <span class='Head'>;</span>
+  <span class='Function'>𝕊</span><span class='Modifier'>⁼</span><span class='Value'>𝕩</span><span class='Head'>:</span> <span class='Value'>𝕩</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>-</span><span class='Value'>𝕩</span>
 <span class='Brace'>}</span>
 </pre>
 <p>The above function could also be defined with the automatically invertible <code><span class='Number'>1</span><span class='Modifier2'>⊸</span><span class='Function'>+</span><span class='Modifier2'>⌾</span><span class='Function'>÷</span></code>, but maybe there's a numerical reason to use the definition above. Like a normal header, an undo header reflects the normal use, but it includes <code><span class='Modifier'>⁼</span></code> and possibly <code><span class='Modifier'>˜</span></code> addition to the function and arguments.</p>
-- 
cgit v1.2.3