X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fparams.xsl;h=355baef56191355c755db2e628dd4b24122e371c;hb=db593c40165a5ac71b6aa87e43e90b8b45e8ed59;hp=2a0a252e3bb3218beefee7596a09d9542fa48373;hpb=4947a59dbc917f8db8e5cb074418b6197c3960db;p=helm.git
diff --git a/helm/style/params.xsl b/helm/style/params.xsl
index 2a0a252e3..355baef56 100644
--- a/helm/style/params.xsl
+++ b/helm/style/params.xsl
@@ -39,16 +39,18 @@
+
-
+
+
@@ -98,6 +100,25 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -165,8 +186,9 @@
+
+ select="document($second_url)/*/@params"/>
@@ -275,25 +297,57 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -309,7 +363,7 @@
app
-
+
@@ -324,7 +378,8 @@
-
+
+
@@ -353,10 +408,7 @@
-
-
-
-
+