Branch V7_3_new_exportation merged.

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

diff --git a/helm/meta_style/xslt_index.txt b/helm/meta_style/xslt_index.txt
index 889ce4c6c3d98bfbb9c4d953c4586f8844f82065..2f683f28dbe472985df7fe64910b415a2d8f4c9a 100644 (file)
--- a/helm/meta_style/xslt_index.txt
+++ b/helm/meta_style/xslt_index.txt
@@ -3,5 +3,6 @@ arith.xsl
 basic.xsl
 reals.xsl
 set.xsl
+list.xsl
 positive.xsl
 modeset.xsl