--- a/uwproj.xsd Sun Sep 10 13:04:02 2023 +0200 +++ b/uwproj.xsd Sun Sep 10 13:10:07 2023 +0200 @@ -71,17 +71,7 @@ </xs:choice> <xs:attribute name="name" type="xs:string" use="required"/> <xs:attribute name="arg" type="xs:string"/> - <xs:attribute name="default" default="false"> - <!-- TODO: this should be just Boolean --> - <xs:simpleType> - <xs:restriction base="xs:string"> - <xs:enumeration value="true"/> - <xs:enumeration value="false"/> - <xs:enumeration value="on"/> - <xs:enumeration value="off"/> - </xs:restriction> - </xs:simpleType> - </xs:attribute> + <xs:attribute name="default" type="xs:boolean" default="false"/> </xs:complexType> <xs:complexType name="OptionType">