Add themes DTD

This commit is contained in:
nemunaire 2014-11-19 18:30:07 +01:00
parent 96805a5e1b
commit 2d4e7400cb

14
docs/dtd/themes.dtd Normal file
View file

@ -0,0 +1,14 @@
<?xml version="1.0" encoding="UTF­8" ?>
<!ELEMENT theme (title,exercice+)>
<!ELEMENT title (#PCDATA)>
<!ELEMENT exercice (title,points,statement,key+,file*)>
<!ATTLIST exercice id ID #REQUIRED>
<!ATTLIST exercice level (sandbox|easy|simple|medium|hard|extrem) #REQUIRED>
<!ATTLIST exercice depends IDREFS #IMPLIED>
<!ELEMENT points (#PCDATA)>
<!ELEMENT statement (#PCDATA)>
<!ELEMENT key (#PCDATA)>
<!ATTLIST key format (raw|md5|sha1|sha256|sha512|whirlpool) "sha512">
<!ELEMENT file (#PCDATA)>
<!ATTLIST file path CDATA #REQUIRED>
<!ATTLIST file sha1 CDATA #REQUIRED>