/jEdit/tags/jedit-4-2-pre14/org/gjt/sp/jedit/options/mirrors.dtd

# · Document Type Definition · 15 lines · 9 code · 6 blank · 0 comment · 0 complexity · 517b8cafcaba9f283894e38e129deaff MD5 · raw file 

    

  1. <!-- DTD used to validate the mirror list XML file from Plugin Central  -->
    2. 

  2. 

  3. <!ELEMENT MIRRORS ( MIRROR )+ >
    4. 

  4. 

  5. <!ELEMENT MIRROR ( DESCRIPTION, LOCATION, COUNTRY, CONTINENT ) >
    6. 

  6. <!ATTLIST MIRROR
    7. 

  7. 	ID CDATA #REQUIRED >
    8. 

  8. 

  9. <!ELEMENT DESCRIPTION ( #PCDATA ) >
    10. 

  10. 

  11. <!ELEMENT LOCATION ( #PCDATA ) >
    12. 

  12. 

  13. <!ELEMENT COUNTRY ( #PCDATA ) >
    14. 

  14. 

  15. <!ELEMENT CONTINENT ( #PCDATA ) >
    16.