]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_chat2.html
look and feel improvements
[helm.git] / helm / searchEngine / html / moogle_chat2.html
index d3253f4fa88f580a9b230d5d560bcbfe463f91cc..378e683f0850c813c3cf679deaf79d65be8583a9 100644 (file)
@@ -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>