X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fparams.xsl;h=d703bfe069c13a396e093acbbb106247a3179348;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=2a0a252e3bb3218beefee7596a09d9542fa48373;hpb=4947a59dbc917f8db8e5cb074418b6197c3960db;p=helm.git diff --git a/helm/style/params.xsl b/helm/style/params.xsl index 2a0a252e3..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 @@ - + +