X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fparams.xsl;h=3d16f62e2af2836ce8e52d3cfe106dfee2591f4d;hb=dd122839ef59652446b521d79e1192cd2e709b00;hp=b5b7f9b88ee7357497be3ec9d189cc76bf11245e;hpb=0b1e5fb100fe57fb53f98038570b1fae191d331d;p=helm.git
diff --git a/helm/style/params.xsl b/helm/style/params.xsl
index b5b7f9b88..3d16f62e2 100644
--- a/helm/style/params.xsl
+++ b/helm/style/params.xsl
@@ -276,25 +276,57 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -355,10 +387,7 @@
-
-
-
-
+