Modified Files:

[helm.git] / helm / style / xslt_index.txt

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
index 8028625ceff8209991ace0b6f472d592500274d6..f2e42135f733b2fd9243f86368cd2b4720fc1d67 100644 (file)
--- a/helm/style/xslt_index.txt
+++ b/helm/style/xslt_index.txt
@@ -22,7 +22,7 @@ mk_dep_graph.xsl
 mk_meta_and_dep_graph.xsl
 mk_meta_graph.xsl
 mk_meta_theory.xsl
-mmlctop.xsl-0.14
+mmlctop.xsl
 mmlextension.xsl
 mmlnotation.xsl
 mmltheoryextension.xsl