From 69baba8e22386b96df9210e58b7454ed415ded5b Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Thu, 8 Feb 2001 11:15:25 +0000
Subject: [PATCH] config/style-configuration.xml : a little mistake in the
 default configuration

---
 helm/style/config/style-configuration.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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"/>
-- 
2.39.2