DTDs/PluginRepository-4.1.dtd

changeset 0
de9c2efb9d02
equal deleted inserted replaced
-1:000000000000 0:de9c2efb9d02
1 <!-- This is the DTD for eric4's plugin repository file version 4.1 -->
2
3 <!ELEMENT Name (#PCDATA)>
4
5 <!ELEMENT Short (#PCDATA)>
6
7 <!ELEMENT Description (#PCDATA)>
8
9 <!ELEMENT Url (#PCDATA)>
10
11 <!ELEMENT Author (#PCDATA)>
12
13 <!ELEMENT Version (#PCDATA)>
14
15 <!ELEMENT Filename (#PCDATA)>
16
17 <!ELEMENT Plugin (Name,
18 Short,
19 Description,
20 Url,
21 Author,
22 Version,
23 Filename)>
24
25 <!ELEMENT Plugins (Plugin*)>
26 <!ATTLIST Plugins
27 version CDATA #REQUIRED>

eric ide

mercurial