]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2a36d2b)
look and feel improvements
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 15:50:35 +0000 (15:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 15:50:35 +0000 (15:50 +0000)
helm/searchEngine/html/moogle_chat2.html patch | blob | history
helm/searchEngine/html/moogle_init.html patch | blob | history

diff --git a/helm/searchEngine/html/moogle_chat2.html b/helm/searchEngine/html/moogle_chat2.html
index d3253f4fa88f580a9b230d5d560bcbfe463f91cc..378e683f0850c813c3cf679deaf79d65be8583a9 100644 (file)
--- a/helm/searchEngine/html/moogle_chat2.html
+++ b/helm/searchEngine/html/moogle_chat2.html
@@ -4,10 +4,14 @@
 <title>Moogle_chat2</title>
 </head>
 <body>
-<h3>There are more than one possible interpretations.</h3>
-<br />Please choose one of the following.
-<br />
-<helm:uwobo_form>
+  <p>
+  <b>There are several possible interpretations</b>
+  </p>
+  <p>
+  Please choose one of the following interpretations:
+  </p>
+  <p>
+  <helm:uwobo_form>
   <helm:hidden_params />
   <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
   <input type="hidden" name="param.expression" value="@EXPRESSION@"/>
@@ -16,7 +20,8 @@
   <input type="hidden" name="param.choices" value="@CURRENT_CHOICES@"/>
   @INTERPRETATIONS@
   <br /><br />
-  <input type="submit" value="Done"/>
-</helm:uwobo_form>
+  <input type="submit" value="Choose" />
+  </helm:uwobo_form>
+  </p>
 </body>
 </html>
diff --git a/helm/searchEngine/html/moogle_init.html b/helm/searchEngine/html/moogle_init.html
index feddb620c77350bad458df812620c0a3b0e1c529..7c2193062690cf3c03da371198df6c28b2409b7e 100644 (file)
--- a/helm/searchEngine/html/moogle_init.html
+++ b/helm/searchEngine/html/moogle_init.html
@@ -34,6 +34,7 @@
    </font>
   </td>
   </tr>
+<!--
   <tr>
    <td colspan="3" align="center">
     <font size="-1">
@@ -44,6 +45,7 @@
     </font>
    </td>
    </tr>
+-->
   </table>
 </helm:uwobo_form>
 </center>
Unnamed repository; edit this file 'description' to name the repository.