X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fricerca.xsl;h=03129b21c87e67dc92412658b92c84088374bec2;hb=352196141500ca64f5a0d84218318ed78fdf830a;hp=e0fa13a93967fd531f5f3557bdc81554701bf423;hpb=aa87f28d3a96456e7cec9493c6533e5c146812e8;p=helm.git
diff --git a/helm/style/ricerca.xsl b/helm/style/ricerca.xsl
index e0fa13a93..03129b21c 100644
--- a/helm/style/ricerca.xsl
+++ b/helm/style/ricerca.xsl
@@ -10,7 +10,7 @@
-http://localhost:8081/get?url=
+http://localhost:8081/getciconly?uri=
@@ -26,10 +26,10 @@
-
+
-
+
@@ -46,7 +46,7 @@
+ select="boolean(document(concat(string($absPath),string($current_uri),"/",string(@uri)))//MUTIND[string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind'])"/>
@@ -61,7 +61,7 @@
-->
+ select="boolean(document(concat(string($absPath),string($current_uri),"/",string(@uri)))//MUTIND[string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind'])"/>
@@ -73,7 +73,7 @@
-->
+ select="boolean(document(concat(string($absPath),string($current_uri),"/",string(@uri)))//MUTIND[string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind'])"/>