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 81518ef14bfde0448ba21735ddf7bfb6dd103bd0..333204c42ed160fab31ede038e1893a7ccbec117 100644 (file)
--- 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"/>