X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fparams.xsl;h=d703bfe069c13a396e093acbbb106247a3179348;hb=1f9b11657c822cc762f808e0bfc5f5f2b4fb6ec7;hp=dc59df16752cbc61760e671058eeda0bbe1c39ac;hpb=039f58232964e627868ec21f7c1e64c843204c75;p=helm.git
diff --git a/helm/style/params.xsl b/helm/style/params.xsl
index dc59df167..d703bfe06 100644
--- a/helm/style/params.xsl
+++ b/helm/style/params.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -139,10 +163,14 @@
-
-
-
+
+
+
+
+
+
+
+
@@ -151,9 +179,7 @@
-
- 0
-
+ 0
@@ -172,13 +198,11 @@
-
+
-
- 0
-
+ 0
@@ -234,10 +258,117 @@
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+PROD
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ app
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ $
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+