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')"/>
242 <td><b style="padding-right: 2em">Natural language rendering</b></td>
244 <form name="naturalLanguage">
246 var defaultValue = '<uwobo:key name="naturalLanguage"/>';
247 if (defaultValue == 'yes')
248 document.write('<input type="checkbox" checked="1" />');
250 document.write('<input type="checkbox" />');
256 <td><b style="padding-right: 2em">Maximum size of dependency graph</b></td>
258 <form name="maxGraphSize">
260 var defaultValue = '<uwobo:key name="uri_set_size"/>';
261 document.write('<input type="text" value="' + defaultValue + '" size="3" maxlength="3" />');
270 <th colspan="2" align="left">Browser</th>
274 Only new browsers support UNICODE, that is needed to render
275 mathematical documents. Some old browsers, though, can render
276 the most common symbols through the "symbol" font.
281 To make us understand what kind of browser you have, please
282 select below the symbol for "not belongs to". If both options
283 do not show that symbol, then you will be only able to use
284 the MathML mode with an external plug-out for MathML presentation.
289 <form name="UNICODEvsSYMBOL">
290 <b>Where do you see the "not belongs to" symbol?</b>
292 var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
293 if (defaultValue == 'symbol')
294 document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" checked="" />');
296 document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" />');
298 <font face="symbol">Ï</font>
300 var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
301 if (defaultValue == 'unicode')
302 document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" checked="" />');
304 document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" />');
316 var origProfileId = '<uwobo:profile/>';
318 <input type="button" value="Save" onClick="saveProfile(origProfileId)"/>