X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fon-line%2Fxslt%2Fls2html.xsl;h=965d15f12ecb1d983a2f6e1f5b39a8f1ee4d341c;hb=5868bef6637af919fbb48a83c24268bb85bdef6a;hp=98f8fd17a02c51750bda1df4ee8870ce2c67ad86;hpb=6979f72e374e48c8a3234a9526352ff4fc297e27;p=helm.git
diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl
index 98f8fd17a..965d15f12 100644
--- a/helm/on-line/xslt/ls2html.xsl
+++ b/helm/on-line/xslt/ls2html.xsl
@@ -5,6 +5,8 @@