From: Luca Padovani <luca.padovani@unito.it>
Date: Thu, 8 Feb 2001 11:15:25 +0000 (+0000)
Subject: config/style-configuration.xml : a little mistake in the default configuration
X-Git-Tag: v0_1_2~125
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=69baba8e22386b96df9210e58b7454ed415ded5b;p=helm.git

config/style-configuration.xml : a little mistake in the default configuration
---

diff --git a/helm/style/config/style-configuration.xml b/helm/style/config/style-configuration.xml
index 81518ef14..333204c42 100644
--- a/helm/style/config/style-configuration.xml
+++ b/helm/style/config/style-configuration.xml
@@ -4,8 +4,8 @@
 <style-configuration>
   <style key="C1">rootcontent.xsl</style>
   <style key="C2">annotatedpres.xsl</style>
-  <style key="T1">theorycontent.xsl</style>
-  <style key="T2">theorypres.xsl</style>
+  <style key="T1">theory_content.xsl</style>
+  <style key="T2">theory_pres.xsl</style>
 
   <apply name="cic">
     <style-ref key="C1"/>