version bump

metanorma · Dec 1, 2023 · 8a29f5c · 8a29f5c
1 parent 77ad7f1
commit 8a29f5c
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/grammars/isodoc.rng b/grammars/isodoc.rng
@@ -1957,6 +1957,16 @@
           <data type="boolean"/>
         </attribute>
       </optional>
+      <optional>
+        <attribute name="type">
+          <choice>
+            <value>letter</value>
+            <value>symbol</value>
+            <value>formula</value>
+            <value>equation</value>
+          </choice>
+        </attribute>
+      </optional>
       <element name="name">
         <oneOrMore>
           <choice>

diff --git a/grammars/relaton-model-etsi b/grammars/relaton-model-etsi