3 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:uwobo="http://helm.cs.unibo.it/uwobo">
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 }
16 <script language="JavaScript" src="http://helm.cs.unibo.it/helm/javascript/defaults.js">
19 <script language="JavaScript" src="http://helm.cs.unibo.it/helm/javascript/prelude.js">
27 <table border="0" width="100%" cellpadding="4">
28 <tr><td class="head" align="center"><big><big>HELM Library Configuration</big></big></td></tr>
33 When you are done with the changes, please <em>do not forget to click on the Save button</em> at the
38 <th colspan="2" align="left">Profile</th>
44 var defaultValue = '<uwobo:profile/>';
45 document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
50 <form name="profileList">
52 var interfaceURL = '<uwobo:key name="interfaceURL"/>';
54 <select onChange="selectProfile(this, interfaceURL)">
55 <option value="">---</option>
56 <uwobo:profileOptionList/>
61 (changing the profile will update all the fields below)
65 <td colspan="2" align="left"><b>UWOBO URL</b>
70 <form name="uwoboURL">
72 var defaultValue = '<uwobo:key name="processorURL"/>';
73 document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
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>
89 <input type="button" value="Check" onClick="window.open(getUwoboURL() + 'help')"/>
91 [<a href="http://www.cs.unibo.it/helm/uwobo/panel/index.html">UWOBO panel</a>]
96 <td colspan="2" align="left"><b>Getter URL</b>
101 <form name="getterURL">
103 var defaultValue = '<uwobo:key name="getterURL"/>';
104 document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
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>
120 <input type="button" value="Check" onClick="window.open(getGetterURL() + 'help')"/>
122 [<a href="http://www.cs.unibo.it/helm/getter/panel/index.html">Getter panel</a>]
127 <th colspan="2" align="left">URI-Set URL</th>
131 <form name="uri_set_queueURL">
133 var defaultValue = '<uwobo:key name="uri_set_queueURL"/>';
134 document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
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>
150 <input type="button" value="Check" onClick="window.open(getURISetQueueURL() + 'help')"/>
155 <th colspan="2" align="left">Graph Drawer URL</th>
159 <form name="draw_graphURL">
161 var defaultValue = '<uwobo:key name="draw_graphURL"/>';
162 document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
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>
178 <input type="button" value="Check" onClick="window.open(getDrawGraphURL() + 'help')"/>
183 <th colspan="2" align="left">Proof-Checker URL</th>
187 <form name="proofcheckerURL">
189 var defaultValue = '<uwobo:key name="proofcheckerURL"/>';
190 document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
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>
206 <input type="button" value="Check" onClick="window.open(getProofCheckerURL() + 'help')"/>
211 <th colspan="2" align="left">RDFly URL</th>
215 <form name="rdflyURL">
217 var defaultValue = '<uwobo:key name="rdflyURL"/>';
218 document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
224 <select onChange="selectRdflyURL(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>
234 <input type="button" value="Check" onClick="window.open(getRdflyURL() + 'help')"/>
239 <th colspan="2" align="left">Interface URL</th>
243 <form name="interfaceURL">
245 var defaultValue = '<uwobo:key name="interfaceURL"/>';
246 document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
252 <select onChange="selectInterfaceURL(this)">
253 <option value="">---</option>
254 <option value="mowgli">helm</option>
263 <td><b style="padding-right: 2em">Natural language rendering</b></td>
265 <form name="naturalLanguage">
267 var defaultValue = '<uwobo:key name="naturalLanguage"/>';
268 if (defaultValue == 'yes')
269 document.write('<input type="checkbox" checked="1" />');
271 document.write('<input type="checkbox" />');
277 <td><b style="padding-right: 2em">Maximum size of dependency graph</b></td>
279 <form name="maxGraphSize">
281 var defaultValue = '<uwobo:key name="uri_set_size"/>';
282 document.write('<input type="text" value="' + defaultValue + '" size="3" maxlength="3" />');
291 <th colspan="2" align="left">Browser</th>
295 Only new browsers support UNICODE, that is needed to render
296 mathematical documents. Some old browsers, though, can render
297 the most common symbols through the "symbol" font.
302 To make us understand what kind of browser you have, please
303 select below the symbol for "not belongs to". If both options
304 do not show that symbol, then you will be only able to use
305 the MathML mode with an external plug-out for MathML presentation.
310 <form name="UNICODEvsSYMBOL">
311 <b>Where do you see the "not belongs to" symbol?</b>
313 var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
314 if (defaultValue == 'symbol')
315 document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" checked="" />');
317 document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" />');
319 <font face="symbol">Ï</font>
321 var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
322 if (defaultValue == 'unicode')
323 document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" checked="" />');
325 document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" />');
337 var origProfileId = '<uwobo:profile/>';
339 <input type="button" value="Save" onClick="saveProfile(origProfileId)"/>