Version 1.2.1beta => 1.2.1

[helm.git] / helm / style / config / style-configuration.xml

diff --git a/helm/style/config/style-configuration.xml b/helm/style/config/style-configuration.xml
index 81518ef14bfde0448ba21735ddf7bfb6dd103bd0..1641a5906a140643c2b1f573862bdd23ecdf4e00 100644 (file)
--- 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"/>