X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcontrol.html;h=183347a9792c4f4b390a52bb0d6e1f55ed6196ea;hb=d2c60bae1c4badba0a0f29e3fd2faed6d3a1869e;hp=6e8662db856cfa91ce440afd01d9f87c2376263a;hpb=97829180b4bc5a72291eeb8156b15b3922f07048;p=helm.git

diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
index 6e8662db8..183347a97 100644
--- a/helm/on-line/html/control.html
+++ b/helm/on-line/html/control.html
@@ -63,6 +63,7 @@ and
         <select onChange="selectUwoboURL(this)">
 	  <option value="">---</option>
 	  <option value="localhost">localhost</option>
+	  <option value="mowgli.cs.unibo.it">mowgli</option>
 	  <option value="marcello.cs.unibo.it">marcello</option>
 	  <option value="phd.cs.unibo.it">phd</option>
 	  <option value="eolo.cs.unibo.it">eolo</option>
@@ -96,6 +97,7 @@ and
         <select onChange="selectGetterURL(this)">
 	  <option value="">---</option>
 	  <option value="localhost">localhost</option>
+	  <option value="mowgli.cs.unibo.it">mowgli</option>
 	  <option value="marcello.cs.unibo.it">marcello</option>
 	  <option value="phd.cs.unibo.it">phd</option>
 	  <option value="eolo.cs.unibo.it">eolo</option>
@@ -109,8 +111,150 @@ and
     </td>
   </tr>
 </table>
+
+<br />
+
+<table border="0">
+  <tr>
+    <th colspan="2" align="left">URI-Set URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="uri_set_queueURL">
+        <script>
+	  document.write('<input type="text" value="' + getInitialURISetQueueURL() + '" size="50"/>');
+	</script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectURISetQueueURL(this)">
+	  <option value="">---</option>
+	  <option value="localhost">localhost</option>
+	  <option value="mowgli.cs.unibo.it">mowgli</option>
+	  <option value="marcello.cs.unibo.it">marcello</option>
+	  <option value="phd.cs.unibo.it">phd</option>
+	  <option value="eolo.cs.unibo.it">eolo</option>
+	</select>
+      </form>
+    </td>
+    <td>
+      <form>
+        <input type="button" value="Check" onClick="top.result.location = getURISetQueueURL() + 'help'"/>
+      </form>
+    </td>
+  </tr>
+</table>
+
+<br />
+
+<table border="0">
+  <tr>
+    <th colspan="2" align="left">Graph Drawer URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="draw_graphURL">
+        <script>
+	  document.write('<input type="text" value="' + getInitialDrawGraphURL() + '" size="50"/>');
+	</script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectDrawGraphURL(this)">
+	  <option value="">---</option>
+	  <option value="localhost">localhost</option>
+	  <option value="mowgli.cs.unibo.it">mowgli</option>
+	  <option value="marcello.cs.unibo.it">marcello</option>
+	  <option value="phd.cs.unibo.it">phd</option>
+	  <option value="eolo.cs.unibo.it">eolo</option>
+	</select>
+      </form>
+    </td>
+    <td>
+      <form>
+        <input type="button" value="Check" onClick="top.result.location = getDrawGraphURL() + 'help'"/>
+      </form>
+    </td>
+  </tr>
+</table>
+
+<br />
+
+<table border="0">
+  <tr>
+    <th colspan="2" align="left">Proof-Checker URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="proofcheckerURL">
+        <script>
+	  document.write('<input type="text" value="' + getInitialProofCheckerURL() + '" size="50"/>');
+	</script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectProofCheckerURL(this)">
+	  <option value="">---</option>
+	  <option value="localhost">localhost</option>
+	  <option value="mowgli.cs.unibo.it">mowgli</option>
+	  <option value="marcello.cs.unibo.it">marcello</option>
+	  <option value="phd.cs.unibo.it">phd</option>
+	  <option value="eolo.cs.unibo.it">eolo</option>
+	</select>
+      </form>
+    </td>
+    <td>
+      <form>
+        <input type="button" value="Check" onClick="top.result.location = getProofCheckerURL() + 'help'"/>
+      </form>
+    </td>
+  </tr>
+</table>
+
+<br />
+
+<table border="0">
+  <tr>
+    <th colspan="2" align="left">Browser</th>
+  </tr>
+  <tr>
+   <td>
+    Only new browsers support UNICODE, that is needed to render
+    mathematical documents. Some old browsers, though, can render
+    the most common symbols through the &quot;symbol&quot; font.
+   </td>
+  </tr>
+  <tr>
+   <td>
+    To make us understand what kind of browser you have, please
+    select below the symbol for &quot;not belongs to&quot;. If both options
+    do not show that symbol, then you will be only able to use
+    the MathML mode with an external plug-out for MathML presentation.
+   </td>
+  </tr>
+  <tr>
+    <td>
+      <form name="UNICODEvsSYMBOL">
+      <b>Where do you see the &quot;not belongs to&quot; symbol?</b>
+      &nbsp;&nbsp;&nbsp;
+      <script>
+       document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" ' + getInitialUNICODEvsSYMBOLsymbol() + ' />');
+      </script>
+      <font face="symbol">&#207;</font>
+      &nbsp;&nbsp;&nbsp;
+      <script>
+       document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" ' + getInitialUNICODEvsSYMBOLunicode() + ' />');
+      </script>
+      &#8713;
+    </td>
+  </tr>
+</table>
 </div>
 
+
 <div id="centered">
 <h1><a onClick="refreshLinks();" href="" target="_top"><script>if (top.location.search == '') document.write('ENTER THE LIBRARY'); else document.write('RETURN TO THE LIBRARY');</script></a></h1>
 </div>