X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fparams.xsl;h=355baef56191355c755db2e628dd4b24122e371c;hb=db593c40165a5ac71b6aa87e43e90b8b45e8ed59;hp=3d16f62e2af2836ce8e52d3cfe106dfee2591f4d;hpb=bf139708239b0a51c96cdeb2e636e057e8c4571e;p=helm.git
diff --git a/helm/style/params.xsl b/helm/style/params.xsl
index 3d16f62e2..355baef56 100644
--- a/helm/style/params.xsl
+++ b/helm/style/params.xsl
@@ -39,16 +39,18 @@
+
-
+
+
@@ -98,6 +100,25 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+