]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/mooglePp.ml
added URI printing in the result page (so that mouse-over is not the
[helm.git] / helm / searchEngine / mooglePp.ml
index 998274e08525e60bd7d38a297d210ea1ae419d87..dd3b63ded91ba40e5f8d436a519b26258e486e9a 100644 (file)
@@ -59,9 +59,13 @@ let theory_of_result (req: Http_types.request) page result =
         sprintf
           "<tr>
            <td valign=\"top\">%d.</td>
+           <td><span class=\"uri\">%s</span></td>
+           </tr>
+           <tr>
+           <td />
            <td><ht:OBJECT uri=\"%s\" mode=\"%s\"/></td>
            </tr>%s"
-          !idx uri mode i)
+          !idx uri uri mode i)
       result ""
    in
    template query_kind