<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>
<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>
</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 "symbol" font.
+ </td>
+ </tr>
+ <tr>
+ <td>
+ To make us understand what kind of browser you have, please
+ select below the symbol for "not belongs to". 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 "not belongs to" symbol?</b>
+
+ <script>
+ document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" ' + getInitialUNICODEvsSYMBOLsymbol() + ' />');
+ </script>
+ <font face="symbol">Ï</font>
+
+ <script>
+ document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" ' + getInitialUNICODEvsSYMBOLunicode() + ' />');
+ </script>
+ ∉
+ </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>