X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fparams.xsl;h=3d16f62e2af2836ce8e52d3cfe106dfee2591f4d;hb=cc1698821a40a29b02d7f5c5f60ab63542511d32;hp=dc59df16752cbc61760e671058eeda0bbe1c39ac;hpb=039f58232964e627868ec21f7c1e64c843204c75;p=helm.git
diff --git a/helm/style/params.xsl b/helm/style/params.xsl
index dc59df167..3d16f62e2 100644
--- a/helm/style/params.xsl
+++ b/helm/style/params.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -141,8 +165,9 @@
+
+ select="document($second_url)/*/@params"/>
@@ -234,10 +259,146 @@
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+PROD
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ app
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ $
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+