]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/moogle_querybar.html.src
More information is now printed when reporting errors.
[helm.git] / helm / searchEngine / html / moogle_querybar.html.src
1 <?xml version="1.0"?>
2 <helm:content
3   xmlns:helm="http://www.cs.unibo.it/helm"
4   xmlns="http://www.w3.org/1999/xhtml"
5 >
6   <div class='resultsbar'>
7     <table width='100%%'>
8       <tr>
9         <td class='left'><b class='query_kind'>@QUERY_KIND@</b></td>
10         <td class='right'>@QUERY_SUMMARY@</td>
11       </tr>
12     </table>
13   </div>
14   <br />
15 </helm:content>