]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/config/style-configuration.dtd
This commit was manufactured by cvs2svn to create branch 'xmltheory'.
[helm.git] / helm / style / config / style-configuration.dtd
diff --git a/helm/style/config/style-configuration.dtd b/helm/style/config/style-configuration.dtd
deleted file mode 100644 (file)
index a2470d6..0000000
+++ /dev/null
@@ -1,13 +0,0 @@
-<?xml version="1.0" encoding="iso8859-1"?>
-
-<!ELEMENT style-configuration (style*,apply*)>
-
-<!ELEMENT style (#PCDATA)>
-<!ATTLIST style key CDATA #IMPLIED>
-
-<!ELEMENT apply (style-ref*)>
-<!ATTLIST apply name CDATA #REQUIRED>
-
-<!ELEMENT style-ref EMPTY>
-<!ATTLIST style-ref key CDATA #REQUIRED>
-