From b0de364855e0d68923d7567a18ce2dd09a7148e8 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Nov 2001 11:05:21 +0000
Subject: [PATCH] Never really used. Functionality eventually replaced by the
 serialization.

---
 helm/style/config/style-configuration.dtd | 13 -------------
 helm/style/config/style-configuration.xml | 19 -------------------
 2 files changed, 32 deletions(-)
 delete mode 100644 helm/style/config/style-configuration.dtd
 delete mode 100644 helm/style/config/style-configuration.xml

diff --git a/helm/style/config/style-configuration.dtd b/helm/style/config/style-configuration.dtd
deleted file mode 100644
index a2470d67e..000000000
--- a/helm/style/config/style-configuration.dtd
+++ /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>
-
diff --git a/helm/style/config/style-configuration.xml b/helm/style/config/style-configuration.xml
deleted file mode 100644
index 1641a5906..000000000
--- a/helm/style/config/style-configuration.xml
+++ /dev/null
@@ -1,19 +0,0 @@
-<?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>
-- 
2.39.2