PageRenderTime 22ms CodeModel.GetById 14ms app.highlight 2ms RepoModel.GetById 2ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/org/gjt/sp/jedit/pluginmgr/plugins.dtd

#
Document Type Definition | 40 lines | 30 code | 10 blank | 0 comment | 0 complexity | f3defa49417c290c32e59abff6a93f59 MD5 | raw file
 1<!-- DTD used to validate the XML file pulled down from plugin central  -->
 2
 3<!ENTITY % att-bool '( TRUE | FALSE )' >
 4
 5<!ELEMENT DESCRIPTION ( #PCDATA ) >
 6
 7<!ELEMENT PLUGINS ( PLUGIN_SET | PLUGIN )+ >
 8
 9<!ELEMENT PLUGIN_SET ( DESCRIPTION, PLUGIN_SET_ENTRY+ ) >
10<!ATTLIST PLUGIN_SET
11	NAME CDATA #REQUIRED >
12<!ELEMENT PLUGIN_SET_ENTRY ( #PCDATA ) >
13
14<!ELEMENT PLUGIN ( DESCRIPTION, AUTHOR+, BRANCH+ ) >
15<!ATTLIST PLUGIN
16	JAR CDATA #REQUIRED
17	NAME CDATA #REQUIRED >
18
19<!ELEMENT AUTHOR ( #PCDATA ) >
20
21<!ELEMENT BRANCH ( DOWNLOAD, DOWNLOAD_SOURCE, ( DEPEND+ ) ) >
22<!ATTLIST BRANCH
23	VERSION CDATA #REQUIRED
24	DATE CDATA #REQUIRED
25	OBSOLETE %att-bool; "FALSE" >
26
27<!ELEMENT DOWNLOAD ( #PCDATA ) >
28<!ATTLIST DOWNLOAD
29	SIZE CDATA #REQUIRED >
30
31<!ELEMENT DOWNLOAD_SOURCE ( #PCDATA ) >
32<!ATTLIST DOWNLOAD_SOURCE
33	SIZE CDATA #REQUIRED >
34
35<!ELEMENT DEPEND EMPTY >
36<!ATTLIST DEPEND
37	WHAT CDATA #REQUIRED
38	FROM CDATA #IMPLIED
39	TO CDATA #IMPLIED
40	PLUGIN CDATA #IMPLIED >