X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fricerca.xsl;h=b9502139d1f25c4258ea071598b0f7e9d000ab64;hb=e1d232bab1b061d9098fd666ca24bed84b38f99e;hp=28e210dca1012c450b65bcbd5c7b276b701dd4fb;hpb=975ab2f71a5e39379d44a494d73b8e05a8a0ad5d;p=helm.git diff --git a/helm/style/ricerca.xsl b/helm/style/ricerca.xsl index 28e210dca..b9502139d 100644 --- a/helm/style/ricerca.xsl +++ b/helm/style/ricerca.xsl @@ -1,17 +1,34 @@ + + + + + + + + + + + + + + + + + + + + + + + - - - - -http://localhost:8081/getciconly?uri= - @@ -26,10 +43,10 @@ - + - +
@@ -46,7 +63,7 @@ + select="boolean(document(concat(string($absPath),string($current_uri),"/",string(@uri)))//MUTIND[string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind'])"/>
@@ -61,7 +78,7 @@ --> + select="boolean(document(concat(string($absPath),string($current_uri),"/",string(@uri)))//MUTIND[string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind'])"/>
@@ -73,7 +90,7 @@ --> + select="boolean(document(concat(string($absPath),string($current_uri),"/",string(@uri)))//MUTIND[string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind'])"/>