]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mmlnotation.xsl
Modified Files:
[helm.git] / helm / style / mmlnotation.xsl
index 3ebf23ba7d41069148733fde635a124e6054ea95..babc7f41db0ff8e37626b736269fd2f05e406236 100644 (file)
@@ -36,7 +36,7 @@
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:m="http://www.w3.org/1998/Math/MathML">
 
-<xsl:import href="mmlctop.xsl-0.14"/>
+<xsl:import href="mmlctop.xsl"/>
 
 
 <!-- *********************************** -->