X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fxslt_index.txt;h=f2e42135f733b2fd9243f86368cd2b4720fc1d67;hb=856dc227c9781439a31d03f5b68d32a41db63ab9;hp=0ae6f66a700f939d51ace1682db8e909a4718fae;hpb=a00c96b7a2948c5dc191960b423afb92b698389d;p=helm.git

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
index 0ae6f66a7..f2e42135f 100644
--- a/helm/style/xslt_index.txt
+++ b/helm/style/xslt_index.txt
@@ -22,8 +22,9 @@ 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
 objcontent.xsl
 objtheorycontent.xsl