]> matita.cs.unibo.it Git - helm.git/blob - helm/style/config/style-configuration.dtd
added encoding
[helm.git] / helm / style / config / style-configuration.dtd
1 <?xml version="1.0" encoding="iso8859-1"?>
2
3 <!ELEMENT style-configuration (style*,apply*)>
4
5 <!ELEMENT style (#PCDATA)>
6 <!ATTLIST style key CDATA #IMPLIED>
7
8 <!ELEMENT apply (style-ref*)>
9 <!ATTLIST apply name CDATA #REQUIRED>
10
11 <!ELEMENT style-ref EMPTY>
12 <!ATTLIST style-ref key CDATA #REQUIRED>
13