From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 26 Apr 2018 23:40:01 +0000 (+0100)
Subject: clarify
X-Git-Tag: convert-csv-opcode-to-binary~5453
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b2b892d6f12123546099a34bc59b8bf8dc362c52;p=libreriscv.git

clarify
---

diff --git a/isa_conflict_resolution.mdwn b/isa_conflict_resolution.mdwn
index 01e93d5e7..64b2147d5 100644
--- a/isa_conflict_resolution.mdwn
+++ b/isa_conflict_resolution.mdwn
@@ -1,6 +1,8 @@
 # Resolving ISA conflicts and providing a pain-free RISC-V Standards Upgrade Path
 
-**Executive Summary:** A non-invasive backwards-compatible change to make
+## Executive Summary
+
+A non-invasive backwards-compatible change to make
 mvendorid and marchid being read-only to be a formal declaration of an
 architecture having no Custom Extensions, and being permitted to be
 WARL in order to support multiple simultaneous architectures on the
@@ -11,7 +13,7 @@ RISC-V Standard (something that is not possible at the moment), but
 permanently fixes the problem of clashes in Custom Extension opcodes
 on a global basis.
 
---------
+## Introduction
 
 In a lengthy thread that ironically was full of conflict indicative
 of the future direction in which RISC-V will go if left unresolved,