X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fparams.xsl;h=d703bfe069c13a396e093acbbb106247a3179348;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;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 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $ + + + + + + + + + + + + + + + + + + + + + + + + +