X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fon-line%2Fxslt%2Fsearch.xsl;h=17fbee744aab401288194feb590536169a344275;hb=66314ee777ff9215dd45eb0894428537f765fc69;hp=226b7d069ec376522954313658194aa25dd44956;hpb=45c331d4b31095b6255a341f5093d695a0ee0c37;p=helm.git
diff --git a/helm/on-line/xslt/search.xsl b/helm/on-line/xslt/search.xsl
index 226b7d069..17fbee744 100644
--- a/helm/on-line/xslt/search.xsl
+++ b/helm/on-line/xslt/search.xsl
@@ -37,10 +37,12 @@
+
+
@@ -50,6 +52,12 @@
+
+
+
+
+
+
@@ -74,7 +82,7 @@
-
+