<?xml version="1.0" encoding="ISO-8859-1"?>
<!--
   DTD for the Plugin Manager File, Version 0.1

   To support validation, include the following DOCTYPE element
   at the beginning (after the "xml" declaration):

      <!DOCTYPE idea-plugins PUBLIC
         "-//IntelliJ Technology Network//DTD Plugin Manager 0.1//EN"
         "http://www.intellij.org/twiki/pub/Main/PluginManager/idea-plugin-registry.dtd">
-->
<!ELEMENT idea-plugin-registry (idea-plugin+)>
<!ELEMENT idea-plugin (name,description,version,vendor,idea-version,docUrl,binUrl,srcUrl?,lastModified)>
<!ELEMENT name (#PCDATA)>
<!ELEMENT description (#PCDATA)>
<!ELEMENT version (#PCDATA)>
<!ELEMENT vendor (#PCDATA)>
<!ELEMENT idea-version EMPTY>
<!ATTLIST idea-version
	min CDATA #REQUIRED
	max CDATA #REQUIRED
>
<!ELEMENT docUrl (#PCDATA)>
<!ELEMENT binUrl (#PCDATA)>
<!ELEMENT srcUrl (#PCDATA)>
<!ELEMENT lastModified EMPTY>
<!ATTLIST lastModified
	day CDATA #REQUIRED
	month CDATA #REQUIRED
	year CDATA #REQUIRED
>
