]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/html/configuration.html
if a node has an xref use it for cut and paste, no matter if it have an href as well
[helm.git] / helm / on-line / html / configuration.html
1 <?xml version="1.0"?>
2
3 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:uwobo="http://helm.cs.unibo.it/uwobo">
4
5 <head>
6 <title>Configuration</title>
7 <style type="text/css">
8 #normal { background-color: white; font-family: sans-serif }
9 td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
10 td.back { background-color: #e6e6fa; color: brown }
11 #indent { margin-left: 1cm; margin-right: 1cm }
12 #centered { text-align: center }
13 div.center { text-align: center }
14 </style>
15
16 <script language="JavaScript" src="http://helm.cs.unibo.it/helm/javascript/defaults.js">
17 &#xa0;
18 </script>
19 <script language="JavaScript" src="http://helm.cs.unibo.it/helm/javascript/prelude.js">
20 &#xa0;
21 </script>
22
23 </head>
24
25 <body id="normal">
26 <a name="top"/>
27 <table border="0" width="100%" cellpadding="4">
28 <tr><td class="head" align="center"><big><big>HELM Library Configuration</big></big></td></tr>
29 </table>
30
31 <div id="indent">
32 <br />
33 When you are done with the changes, please <em>do not forget to click on the Save button</em> at the
34 bottom of the page.
35 <br />
36 <table border="0">
37   <tr>
38     <th colspan="2" align="left">Profile</th>
39   </tr>
40   <tr>
41     <td>
42       <form name="profile">
43         <script>
44           var defaultValue = '<uwobo:profile/>';
45           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
46         </script>
47       </form>
48     </td>
49     <td>
50       <form name="profileList">
51         <script>
52           var interfaceURL = '<uwobo:key name="interfaceURL"/>';
53         </script>
54         <select onChange="selectProfile(this, interfaceURL)">
55           <option value="">---</option>
56           <uwobo:profileOptionList/>
57         </select>
58       </form>
59     </td>
60     <td>
61       (changing the profile will update all the fields below)
62     </td>
63   </tr>
64   <tr>
65     <td colspan="2" align="left"><b>UWOBO URL</b>
66     </td>
67   </tr>
68   <tr>
69     <td>
70       <form name="uwoboURL">
71       <script>
72         var defaultValue = '<uwobo:key name="processorURL"/>';
73         document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
74       </script>
75       </form>
76     </td>
77     <td>
78       <form>
79         <select onChange="selectUwoboURL(this)">
80           <option value="">---</option>
81           <option value="localhost">localhost</option>
82           <option value="mowgli.cs.unibo.it">mowgli</option>
83           <option value="marcello.cs.unibo.it">marcello</option>
84         </select>
85       </form>
86     </td>
87     <td>
88       <form>
89         <input type="button" value="Check" onClick="window.open(getUwoboURL() + 'help')"/>
90         &#xa0;&#xa0;
91         [<a href="http://www.cs.unibo.it/helm/uwobo/panel/index.html">UWOBO panel</a>]
92       </form>
93     </td>
94   </tr>
95   <tr>
96     <td colspan="2" align="left"><b>Getter URL</b>
97     </td>
98   </tr>
99   <tr>
100     <td>
101       <form name="getterURL">
102         <script>
103           var defaultValue = '<uwobo:key name="getterURL"/>';
104           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
105         </script>
106       </form>
107     </td>
108     <td>
109       <form>
110         <select onChange="selectGetterURL(this)">
111           <option value="">---</option>
112           <option value="localhost">localhost</option>
113           <option value="mowgli.cs.unibo.it">mowgli</option>
114           <option value="marcello.cs.unibo.it">marcello</option>
115         </select>
116       </form>
117     </td>
118     <td>
119       <form>
120         <input type="button" value="Check" onClick="window.open(getGetterURL() + 'help')"/>
121         &#xa0;&#xa0;
122         [<a href="http://www.cs.unibo.it/helm/getter/panel/index.html">Getter panel</a>]
123       </form>
124     </td>
125   </tr>
126   <tr>
127     <th colspan="2" align="left">URI-Set URL</th>
128   </tr>
129   <tr>
130     <td>
131       <form name="uri_set_queueURL">
132         <script>
133           var defaultValue = '<uwobo:key name="uri_set_queueURL"/>';
134           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
135         </script>
136       </form>
137     </td>
138     <td>
139       <form>
140         <select onChange="selectURISetQueueURL(this)">
141           <option value="">---</option>
142           <option value="localhost">localhost</option>
143           <option value="mowgli.cs.unibo.it">mowgli</option>
144           <option value="marcello.cs.unibo.it">marcello</option>
145         </select>
146       </form>
147     </td>
148     <td>
149       <form>
150         <input type="button" value="Check" onClick="window.open(getURISetQueueURL() + 'help')"/>
151       </form>
152     </td>
153   </tr>
154   <tr>
155     <th colspan="2" align="left">Graph Drawer URL</th>
156   </tr>
157   <tr>
158     <td>
159       <form name="draw_graphURL">
160         <script>
161           var defaultValue = '<uwobo:key name="draw_graphURL"/>';
162           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
163         </script>
164       </form>
165     </td>
166     <td>
167       <form>
168         <select onChange="selectDrawGraphURL(this)">
169           <option value="">---</option>
170           <option value="localhost">localhost</option>
171           <option value="mowgli.cs.unibo.it">mowgli</option>
172           <option value="marcello.cs.unibo.it">marcello</option>
173         </select>
174       </form>
175     </td>
176     <td>
177       <form>
178         <input type="button" value="Check" onClick="window.open(getDrawGraphURL() + 'help')"/>
179       </form>
180     </td>
181   </tr>
182   <tr>
183     <th colspan="2" align="left">Proof-Checker URL</th>
184   </tr>
185   <tr>
186     <td>
187       <form name="proofcheckerURL">
188         <script>
189           var defaultValue = '<uwobo:key name="proofcheckerURL"/>';
190           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
191         </script>
192       </form>
193     </td>
194     <td>
195       <form>
196         <select onChange="selectProofCheckerURL(this)">
197           <option value="">---</option>
198           <option value="localhost">localhost</option>
199           <option value="mowgli.cs.unibo.it">mowgli</option>
200           <option value="marcello.cs.unibo.it">marcello</option>
201         </select>
202       </form>
203     </td>
204     <td>
205       <form>
206         <input type="button" value="Check" onClick="window.open(getProofCheckerURL() + 'help')"/>
207       </form>
208     </td>
209   </tr>
210   <tr>
211     <th colspan="2" align="left">Search Engine URL</th>
212   </tr>
213   <tr>
214     <td>
215       <form name="searchengineURL">
216         <script>
217           var defaultValue = '<uwobo:key name="searchengineURL"/>';
218           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
219         </script>
220       </form>
221     </td>
222     <td>
223       <form>
224         <select onChange="selectSearchEngineURL(this)">
225           <option value="">---</option>
226           <option value="localhost">localhost</option>
227           <option value="mowgli.cs.unibo.it">mowgli</option>
228           <option value="marcello.cs.unibo.it">marcello</option>
229         </select>
230       </form>
231     </td>
232     <td>
233       <form>
234         <input type="button" value="Check" onClick="window.open(getSearchEngineURL() + 'help')"/>
235       </form>
236     </td>
237   </tr>
238   <tr>
239     <th colspan="2" align="left">RDFly URL</th>
240   </tr>
241   <tr>
242     <td>
243       <form name="rdflyURL">
244         <script>
245           var defaultValue = '<uwobo:key name="rdflyURL"/>';
246           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
247         </script>
248       </form>
249     </td>
250     <td>
251       <form>
252         <select onChange="selectRdflyURL(this)">
253           <option value="">---</option>
254           <option value="localhost">localhost</option>
255           <option value="mowgli.cs.unibo.it">mowgli</option>
256           <option value="marcello.cs.unibo.it">marcello</option>
257         </select>
258       </form>
259     </td>
260     <td>
261       <form>
262         <input type="button" value="Check" onClick="window.open(getRdflyURL() + 'help')"/>
263       </form>
264     </td>
265   </tr>
266   <tr>
267     <th colspan="2" align="left">Interface URL</th>
268   </tr>
269   <tr>
270     <td>
271       <form name="interfaceURL">
272         <script>
273           var defaultValue = '<uwobo:key name="interfaceURL"/>';
274           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
275         </script>
276       </form>
277     </td>
278     <td>
279       <form>
280         <select onChange="selectInterfaceURL(this)">
281           <option value="">---</option>
282           <option value="mowgli">helm</option>
283         </select>
284       </form>
285     </td>
286   </tr>
287 </table>
288 <br />
289 <table border="0">
290 <tr>
291 <td><b style="padding-right: 2em">Natural language rendering</b></td>
292 <td>
293 <form name="naturalLanguage">
294 <script>
295 var defaultValue = '<uwobo:key name="naturalLanguage"/>';
296 if (defaultValue == 'yes')
297         document.write('<input type="checkbox" checked="1" />');
298 else
299         document.write('<input type="checkbox" />');
300 </script>
301 </form>
302 </td>
303 </tr>
304 <tr>
305 <td><b style="padding-right: 2em">Maximum size of dependency graph</b></td>
306 <td>
307 <form name="maxGraphSize">
308 <script>
309 var defaultValue = '<uwobo:key name="uri_set_size"/>';
310 document.write('<input type="text" value="' + defaultValue + '" size="3" maxlength="3" />');
311 </script>
312 </form>
313 </td>
314 </tr>
315 </table>
316 <br />
317 <table border="0">
318   <tr>
319     <th colspan="2" align="left">Browser</th>
320   </tr>
321   <tr>
322    <td>
323     Only new browsers support UNICODE, that is needed to render
324     mathematical documents. Some old browsers, though, can render
325     the most common symbols through the &quot;symbol&quot; font.
326    </td>
327   </tr>
328   <tr>
329    <td>
330     To make us understand what kind of browser you have, please
331     select below the symbol for &quot;not belongs to&quot;. If both options
332     do not show that symbol, then you will be only able to use
333     the MathML mode with an external plug-out for MathML presentation.
334    </td>
335   </tr>
336   <tr>
337     <td>
338       <form name="UNICODEvsSYMBOL">
339         <b>Where do you see the &quot;not belongs to&quot; symbol?</b>
340       <script>
341        var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
342        if (defaultValue == 'symbol')
343          document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" checked="" />');
344        else
345          document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" />');
346       </script>
347       <font face="symbol">&#207;</font>
348       <script>
349        var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
350        if (defaultValue == 'unicode')
351          document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" checked="" />');
352        else
353          document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" />');
354       </script>
355       &#8713;
356       </form>
357     </td>
358   </tr>
359 </table>
360 </div>
361
362 <div class="center">
363   <form name="submit">
364     <script>
365       var origProfileId = '<uwobo:profile/>';
366     </script>
367     <input type="button" value="Save" onClick="saveProfile(origProfileId)"/>
368   </form>
369 </div>
370
371 </body>
372 </html>
373