From: lkcl <lkcl@web>
Date: Tue, 14 Mar 2023 14:05:35 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls001_v3~173
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f8691021254172e5e304ae1047b68041a966e473;p=libreriscv.git

---

diff --git a/openpower/sv/rfc/ls007.mdwn b/openpower/sv/rfc/ls007.mdwn
index ae2d6df9d..39ca53006 100644
--- a/openpower/sv/rfc/ls007.mdwn
+++ b/openpower/sv/rfc/ls007.mdwn
@@ -150,7 +150,9 @@ Add `VA` to the `Formats:` list of `XO (27:31)`.
 
 \newpage{}
 
-# Ternary Logic Immediate TLI-form
+# Ternary Logic Immediate
+
+TLI-form
 
 Add this section to Book I 3.3.13
 
@@ -181,7 +183,9 @@ CR0                    (if Rc=1)
 
 \newpage{}
 
-# Condition Register Ternary Logic Immediate CRB-form
+# Condition Register Ternary Logic Immediate
+
+CRB-form
 
 Add this section to Book I 2.5.1
 
@@ -214,7 +218,9 @@ CR field BF
 
 \newpage{}
 
-# Dynamic Binary Logic VA-form
+# Dynamic Binary Logic
+
+VA-form
 
 Add this section to Book I 3.3.13