developpements

oeuvres · May 6, 2024 · 4119993 · 4119993
1 parent 1642fa0
commit 4119993
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/piaget.rng b/piaget.rng
@@ -19,6 +19,7 @@
         <attribute name="type">
           <choice>
             <value>observation</value>
+            <value>proof</value>
           </choice>
         </attribute>
       </optional>