]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_chat.html.src
generate HTML templates using XSLT starting from a bunch of .src files
[helm.git] / helm / searchEngine / html / moogle_chat.html.src
diff --git a/helm/searchEngine/html/moogle_chat.html.src b/helm/searchEngine/html/moogle_chat.html.src
new file mode 100644 (file)
index 0000000..1e610b7
--- /dev/null
@@ -0,0 +1,39 @@
+<?xml version="1.0"?>
+<html
+  xmlns="http://www.w3.org/1999/xhtml"
+  xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
+  xmlns:helm="http://www.cs.unibo.it/helm"
+  xml:lang="en"
+  lang="en"
+>
+  <helm:include href="moogle_header.html.src" />
+  <body>
+    <helm:include href="moogle_form.html.src" />
+    <helm:include href="moogle_querybar.html.src" />
+    <div>
+      <p>
+       <b>Ambiguous input:</b> <kbd>@EXPRESSION@</kbd>
+      </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@"/>
+         <input type="hidden" name="param.action" value="@ACTION@"/>
+         <input type="hidden" name="param.advanced" value="@ADVANCED@"/>
+         <input type="hidden" name="param.choices" value="@CURRENT_CHOICES@"/>
+         @INTERPRETATIONS@
+         <br />
+         <input type="submit" value="Choose" />
+       </helm:uwobo_form>
+      </p>
+    </div>
+  <div class='bottombar'>
+    <span class="invisible">moogle rules</span>
+  </div>
+  </body>
+</html>
+