X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-library.xsl;h=cf6857d654377042ba5945673ca599f41bc8a715;hb=cf72398627cd1189f42c3fbb9e29fa4b32e723c8;hp=b640b0b0df1715bd28ccaefde0a9eb31218e19a2;hpb=03e172581072389796cbc1d3e2d7b16956b95c8a;p=helm.git
diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl
index b640b0b0d..cf6857d65 100644
--- a/helm/software/lambda-delta/xml/ld-html-library.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-library.xsl
@@ -101,8 +101,10 @@
-
-
+
+
+
+
@@ -118,7 +120,7 @@
-
+
@@ -127,7 +129,7 @@
-
+
@@ -137,7 +139,7 @@
-
+