+++ /dev/null
-<?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>
-
+++ /dev/null
-<?xml version="1.0" encoding="iso8859-1"?>
-<!DOCTYPE style-configuration SYSTEM "style-configuration.dtd">
-
-<style-configuration>
- <style key="C1">rootcontent.xsl</style>
- <style key="C2">annotatedpres.xsl</style>
- <style key="T1">theory_content.xsl</style>
- <style key="T2">theory_pres.xsl</style>
-
- <apply name="cic">
- <style-ref key="C1"/>
- <style-ref key="C2"/>
- </apply>
-
- <apply name="theory">
- <style-ref key="T1"/>
- <style-ref key="T2"/>
- </apply>
-</style-configuration>