helm/on-line/html/control.html

   1 <html>
   2
   3 <head>
   4 <title>On-Line Library Configuration</title>
   5
   6 <style type="text/css">
   7 #normal { background-color: white; font-family: sans-serif }
   8 td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
   9 td.back { background-color: #e6e6fa; color: brown }
  10 #indent { margin-left: 1cm; margin-right: 1cm }
  11 #centered { text-align: center }
  12 </style>
  13
  14 <script language="JavaScript" src="../javascript/defaults.js"></script>
  15 <script language="JavaScript" src="../javascript/prelude.js"></script>
  16
  17 </head>
  18
  19 <body id="normal" onLoad="refreshLinks()">
  20 <a name="top"/>
  21 <table border="0" width="100%" cellpadding="4">
  22 <tr><td class="head" align="center"><big><big>On-Line Library Configuration</big></big></td></tr>
  23 </table>
  24
  25 <br />
  26
  27 <div id="indent">
  28 The on-line interface will use a
  29 <a href="http://www.cs.unibo.it/helm/getter" target="_top">Getter</a> to locate and
  30 download documents and an
  31 <a href="http://www.cs.unibo.it/helm/uwobo" target="_top">UWOBO</a> to apply transformations
  32 to them.
  33
  34
  35 <br /><br />
  36
  37 Here you can choose the Getter and the UWOBO to use, providing valid URLs
  38 to instances of them.
  39
  40 <br /><br />
  41
  42 To control the behaviour of them, use the apposite
  43 <a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/getter/panel/index.html" target="_top">Getter panel</a>
  44 and
  45 <a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/uwobo/panel/index.html" target="_top">UWOBO panel</a>.
  46
  47 <br /><br />
  48
  49 <table border="0">
  50   <tr>
  51     <th colspan="2" align="left">UWOBO URL</th>
  52   </tr>
  53   <tr>
  54     <td>
  55       <form name="uwoboURL">
  56       <script>
  57         document.write('<input type="text" value="' + getInitialProcessorURL() + '" size="50"/>');
  58       </script>
  59       </form>
  60     </td>
  61     <td>
  62       <form>
  63         <select onChange="selectUwoboURL(this)">
  64           <option value="">---</option>
  65           <option value="localhost">localhost</option>
  66           <option value="mowgli.cs.unibo.it">mowgli</option>
  67           <option value="marcello.cs.unibo.it">marcello</option>
  68           <option value="phd.cs.unibo.it">phd</option>
  69           <option value="eolo.cs.unibo.it">eolo</option>
  70         </select>
  71       </form>
  72     </td>
  73     <td>
  74       <form>
  75         <input type="button" value="Check" onClick="top.result.location = getUwoboURL() + 'help'"/>
  76       </form>
  77     </td>
  78   </tr>
  79 </table>
  80
  81 <br />
  82
  83 <table border="0">
  84   <tr>
  85     <th colspan="2" align="left">Getter URL</th>
  86   </tr>
  87   <tr>
  88     <td>
  89       <form name="getterURL">
  90         <script>
  91           document.write('<input type="text" value="' + getInitialGetterURL() + '" size="50"/>');
  92         </script>
  93       </form>
  94     </td>
  95     <td>
  96       <form>
  97         <select onChange="selectGetterURL(this)">
  98           <option value="">---</option>
  99           <option value="localhost">localhost</option>
 100           <option value="mowgli.cs.unibo.it">mowgli</option>
 101           <option value="marcello.cs.unibo.it">marcello</option>
 102           <option value="phd.cs.unibo.it">phd</option>
 103           <option value="eolo.cs.unibo.it">eolo</option>
 104         </select>
 105       </form>
 106     </td>
 107     <td>
 108       <form>
 109         <input type="button" value="Check" onClick="top.result.location = getGetterURL() + 'help'"/>
 110       </form>
 111     </td>
 112   </tr>
 113 </table>
 114
 115 <br />
 116
 117 <table border="0">
 118   <tr>
 119     <th colspan="2" align="left">URI-Set URL</th>
 120   </tr>
 121   <tr>
 122     <td>
 123       <form name="uri_set_queueURL">
 124         <script>
 125           document.write('<input type="text" value="' + getInitialURISetQueueURL() + '" size="50"/>');
 126         </script>
 127       </form>
 128     </td>
 129     <td>
 130       <form>
 131         <select onChange="selectURISetQueueURL(this)">
 132           <option value="">---</option>
 133           <option value="localhost">localhost</option>
 134           <option value="mowgli.cs.unibo.it">mowgli</option>
 135           <option value="marcello.cs.unibo.it">marcello</option>
 136           <option value="phd.cs.unibo.it">phd</option>
 137           <option value="eolo.cs.unibo.it">eolo</option>
 138         </select>
 139       </form>
 140     </td>
 141     <td>
 142       <form>
 143         <input type="button" value="Check" onClick="top.result.location = getURISetQueueURL() + 'help'"/>
 144       </form>
 145     </td>
 146   </tr>
 147 </table>
 148
 149 <br />
 150
 151 <table border="0">
 152   <tr>
 153     <th colspan="2" align="left">Graph Drawer URL</th>
 154   </tr>
 155   <tr>
 156     <td>
 157       <form name="draw_graphURL">
 158         <script>
 159           document.write('<input type="text" value="' + getInitialDrawGraphURL() + '" size="50"/>');
 160         </script>
 161       </form>
 162     </td>
 163     <td>
 164       <form>
 165         <select onChange="selectDrawGraphURL(this)">
 166           <option value="">---</option>
 167           <option value="localhost">localhost</option>
 168           <option value="mowgli.cs.unibo.it">mowgli</option>
 169           <option value="marcello.cs.unibo.it">marcello</option>
 170           <option value="phd.cs.unibo.it">phd</option>
 171           <option value="eolo.cs.unibo.it">eolo</option>
 172         </select>
 173       </form>
 174     </td>
 175     <td>
 176       <form>
 177         <input type="button" value="Check" onClick="top.result.location = getDrawGraphURL() + 'help'"/>
 178       </form>
 179     </td>
 180   </tr>
 181 </table>
 182
 183 <br />
 184
 185 <table border="0">
 186   <tr>
 187     <th colspan="2" align="left">Proof-Checker URL</th>
 188   </tr>
 189   <tr>
 190     <td>
 191       <form name="proofcheckerURL">
 192         <script>
 193           document.write('<input type="text" value="' + getInitialProofCheckerURL() + '" size="50"/>');
 194         </script>
 195       </form>
 196     </td>
 197     <td>
 198       <form>
 199         <select onChange="selectProofCheckerURL(this)">
 200           <option value="">---</option>
 201           <option value="localhost">localhost</option>
 202           <option value="mowgli.cs.unibo.it">mowgli</option>
 203           <option value="marcello.cs.unibo.it">marcello</option>
 204           <option value="phd.cs.unibo.it">phd</option>
 205           <option value="eolo.cs.unibo.it">eolo</option>
 206         </select>
 207       </form>
 208     </td>
 209     <td>
 210       <form>
 211         <input type="button" value="Check" onClick="top.result.location = getProofCheckerURL() + 'help'"/>
 212       </form>
 213     </td>
 214   </tr>
 215 </table>
 216
 217 <br />
 218
 219 <table border="0">
 220   <tr>
 221     <th colspan="2" align="left">Browser</th>
 222   </tr>
 223   <tr>
 224    <td>
 225     Only new browsers support UNICODE, that is needed to render
 226     mathematical documents. Some old browsers, though, can render
 227     the most common symbols through the &quot;symbol&quot; font.
 228    </td>
 229   </tr>
 230   <tr>
 231    <td>
 232     To make us understand what kind of browser you have, please
 233     select below the symbol for &quot;not belongs to&quot;. If both options
 234     do not show that symbol, then you will be only able to use
 235     the MathML mode with an external plug-out for MathML presentation.
 236    </td>
 237   </tr>
 238   <tr>
 239     <td>
 240       <form name="UNICODEvsSYMBOL">
 241       <b>Where do you see the &quot;not belongs to&quot; symbol?</b>
 242       &nbsp;&nbsp;&nbsp;
 243       <script>
 244        document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" ' + getInitialUNICODEvsSYMBOLsymbol() + ' />');
 245       </script>
 246       <font face="symbol">&#207;</font>
 247       &nbsp;&nbsp;&nbsp;
 248       <script>
 249        document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" ' + getInitialUNICODEvsSYMBOLunicode() + ' />');
 250       </script>
 251       &#8713;
 252     </td>
 253   </tr>
 254 </table>
 255 </div>
 256
 257
 258 <div id="centered">
 259 <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>
 260 </div>
 261 </body>
 262 </html>
 263