X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fparams.xsl;h=d703bfe069c13a396e093acbbb106247a3179348;hb=7c1f922d7f3b4f6538892eb4a96c9fa6e33fac0a;hp=eebda7e8793fa0abed1e24043f9a5a45b5b7cc48;hpb=c2240adf58d6e77973bb057f09e2232852046bf8;p=helm.git
diff --git a/helm/style/params.xsl b/helm/style/params.xsl
index eebda7e87..d703bfe06 100644
--- a/helm/style/params.xsl
+++ b/helm/style/params.xsl
@@ -163,10 +163,14 @@
-
-
-
+
+
+
+
+
+
+
+
@@ -175,9 +179,7 @@
-
- 0
-
+ 0
@@ -196,13 +198,11 @@
-
+
-
- 0
-
+ 0
@@ -309,7 +309,7 @@
app
-
+
@@ -324,7 +324,8 @@
-
+
+
@@ -371,9 +372,3 @@
-
-
-
-
-
-