]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/config/style-configuration.xml
This commit was manufactured by cvs2svn to create branch 'xmltheory'.
[helm.git] / helm / style / config / style-configuration.xml
diff --git a/helm/style/config/style-configuration.xml b/helm/style/config/style-configuration.xml
deleted file mode 100644 (file)
index 1641a59..0000000
+++ /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>