]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/moogle_chat.html.src
ocaml 3.09 transition
[helm.git] / helm / searchEngine / html / moogle_chat.html.src
1 <?xml version="1.0"?>
2 <html
3   xmlns="http://www.w3.org/1999/xhtml"
4   xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
5   xmlns:helm="http://www.cs.unibo.it/helm"
6   xml:lang="en"
7   lang="en"
8 >
9   <helm:include href="moogle_header.html.src" />
10   <body>
11     <helm:include href="moogle_form.html.src" />
12     <helm:include href="moogle_querybar.html.src" />
13     <div style="font-size: larger;">
14       <p>
15         <b>Ambiguous input:</b> <kbd>@EXPRESSION@</kbd>
16       </p>
17       <p>
18         Please choose one of the following interpretations:
19       </p>
20       <p>
21         <helm:uwobo_form>
22           <helm:hidden_params />
23           <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
24           <input type="hidden" name="param.expression" value="@EXPRESSION@"/>
25           <input type="hidden" name="param.action" value="@ACTION@"/>
26           <input type="hidden" name="param.advanced" value="@ADVANCED@"/>
27           <input type="hidden" name="param.choices" value="@CURRENT_CHOICES@"/>
28           @INTERPRETATIONS@
29           <br />
30           <input type="submit" value="Choose" />
31         </helm:uwobo_form>
32       </p>
33     </div>
34   <div class='bottombar'>
35     <span class="invisible">moogle rules</span>
36   </div>
37   </body>
38 </html>
39