]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/html/control.html
- bugfix: typo in XSL patching
[helm.git] / 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