X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fconfig%2Fstyle-configuration.xml;h=1641a5906a140643c2b1f573862bdd23ecdf4e00;hb=0e25ed1f31b0dd197638e5d212f65d6055656e79;hp=81518ef14bfde0448ba21735ddf7bfb6dd103bd0;hpb=f7cdd861bf43d3a8585103fb3bacd29f8a40a46e;p=helm.git

diff --git a/helm/style/config/style-configuration.xml b/helm/style/config/style-configuration.xml
index 81518ef14..1641a5906 100644
--- a/helm/style/config/style-configuration.xml
+++ b/helm/style/config/style-configuration.xml
@@ -1,11 +1,11 @@
-<?xml version="1.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">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"/>