+++ /dev/null
-<?xml version="1.0"?>
-
-<html xmlns="http://www.w3.org/1999/xhtml" xmlns:uwobo="http://helm.cs.unibo.it/uwobo">
-
-<head>
-<title>Configuration</title>
-<style type="text/css">
-#normal { background-color: white; font-family: sans-serif }
-td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
-td.back { background-color: #e6e6fa; color: brown }
-#indent { margin-left: 1cm; margin-right: 1cm }
-#centered { text-align: center }
-div.center { text-align: center }
-</style>
-
-<script language="JavaScript" src="http://helm.cs.unibo.it/helm/javascript/defaults.js">
- 
-</script>
-<script language="JavaScript" src="http://helm.cs.unibo.it/helm/javascript/prelude.js">
- 
-</script>
-
-</head>
-
-<body id="normal">
-<a name="top"/>
-<table border="0" width="100%" cellpadding="4">
-<tr><td class="head" align="center"><big><big>HELM Library Configuration</big></big></td></tr>
-</table>
-
-<div id="indent">
-<br />
-When you are done with the changes, please <em>do not forget to click on the Save button</em> at the
-bottom of the page.
-<br />
-<table border="0">
- <tr>
- <th colspan="2" align="left">Profile</th>
- </tr>
- <tr>
- <td>
- <form name="profile">
- <script>
- var defaultValue = '<uwobo:profile/>';
- document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
- </script>
- </form>
- </td>
- <td>
- <form name="profileList">
- <script>
- var interfaceURL = '<uwobo:key name="interfaceURL"/>';
- </script>
- <select onChange="selectProfile(this, interfaceURL)">
- <option value="">---</option>
- <uwobo:profileOptionList/>
- </select>
- </form>
- </td>
- <td>
- (changing the profile will update all the fields below)
- </td>
- </tr>
- <tr>
- <td colspan="2" align="left"><b>UWOBO URL</b>
- </td>
- </tr>
- <tr>
- <td>
- <form name="uwoboURL">
- <script>
- var defaultValue = '<uwobo:key name="processorURL"/>';
- document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
- </script>
- </form>
- </td>
- <td>
- <form>
- <select onChange="selectUwoboURL(this)">
- <option value="">---</option>
- <option value="localhost">localhost</option>
- <option value="mowgli.cs.unibo.it">mowgli</option>
- <option value="marcello.cs.unibo.it">marcello</option>
- </select>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Check" onClick="window.open(getUwoboURL() + 'help')"/>
-   
- [<a href="http://www.cs.unibo.it/helm/uwobo/panel/index.html">UWOBO panel</a>]
- </form>
- </td>
- </tr>
- <tr>
- <td colspan="2" align="left"><b>Getter URL</b>
- </td>
- </tr>
- <tr>
- <td>
- <form name="getterURL">
- <script>
- var defaultValue = '<uwobo:key name="getterURL"/>';
- document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
- </script>
- </form>
- </td>
- <td>
- <form>
- <select onChange="selectGetterURL(this)">
- <option value="">---</option>
- <option value="localhost">localhost</option>
- <option value="mowgli.cs.unibo.it">mowgli</option>
- <option value="marcello.cs.unibo.it">marcello</option>
- </select>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Check" onClick="window.open(getGetterURL() + 'help')"/>
-   
- [<a href="http://www.cs.unibo.it/helm/getter/panel/index.html">Getter panel</a>]
- </form>
- </td>
- </tr>
- <tr>
- <th colspan="2" align="left">URI-Set URL</th>
- </tr>
- <tr>
- <td>
- <form name="uri_set_queueURL">
- <script>
- var defaultValue = '<uwobo:key name="uri_set_queueURL"/>';
- document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
- </script>
- </form>
- </td>
- <td>
- <form>
- <select onChange="selectURISetQueueURL(this)">
- <option value="">---</option>
- <option value="localhost">localhost</option>
- <option value="mowgli.cs.unibo.it">mowgli</option>
- <option value="marcello.cs.unibo.it">marcello</option>
- </select>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Check" onClick="window.open(getURISetQueueURL() + 'help')"/>
- </form>
- </td>
- </tr>
- <tr>
- <th colspan="2" align="left">Graph Drawer URL</th>
- </tr>
- <tr>
- <td>
- <form name="draw_graphURL">
- <script>
- var defaultValue = '<uwobo:key name="draw_graphURL"/>';
- document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
- </script>
- </form>
- </td>
- <td>
- <form>
- <select onChange="selectDrawGraphURL(this)">
- <option value="">---</option>
- <option value="localhost">localhost</option>
- <option value="mowgli.cs.unibo.it">mowgli</option>
- <option value="marcello.cs.unibo.it">marcello</option>
- </select>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Check" onClick="window.open(getDrawGraphURL() + 'help')"/>
- </form>
- </td>
- </tr>
- <tr>
- <th colspan="2" align="left">Proof-Checker URL</th>
- </tr>
- <tr>
- <td>
- <form name="proofcheckerURL">
- <script>
- var defaultValue = '<uwobo:key name="proofcheckerURL"/>';
- document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
- </script>
- </form>
- </td>
- <td>
- <form>
- <select onChange="selectProofCheckerURL(this)">
- <option value="">---</option>
- <option value="localhost">localhost</option>
- <option value="mowgli.cs.unibo.it">mowgli</option>
- <option value="marcello.cs.unibo.it">marcello</option>
- </select>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Check" onClick="window.open(getProofCheckerURL() + 'help')"/>
- </form>
- </td>
- </tr>
- <tr>
- <th colspan="2" align="left">Search Engine URL</th>
- </tr>
- <tr>
- <td>
- <form name="searchengineURL">
- <script>
- var defaultValue = '<uwobo:key name="searchengineURL"/>';
- document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
- </script>
- </form>
- </td>
- <td>
- <form>
- <select onChange="selectSearchEngineURL(this)">
- <option value="">---</option>
- <option value="localhost">localhost</option>
- <option value="mowgli.cs.unibo.it">mowgli</option>
- <option value="marcello.cs.unibo.it">marcello</option>
- </select>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Check" onClick="window.open(getSearchEngineURL() + 'help')"/>
- </form>
- </td>
- </tr>
- <tr>
- <th colspan="2" align="left">RDFly URL</th>
- </tr>
- <tr>
- <td>
- <form name="rdflyURL">
- <script>
- var defaultValue = '<uwobo:key name="rdflyURL"/>';
- document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
- </script>
- </form>
- </td>
- <td>
- <form>
- <select onChange="selectRdflyURL(this)">
- <option value="">---</option>
- <option value="localhost">localhost</option>
- <option value="mowgli.cs.unibo.it">mowgli</option>
- <option value="marcello.cs.unibo.it">marcello</option>
- </select>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Check" onClick="window.open(getRdflyURL() + 'help')"/>
- </form>
- </td>
- </tr>
- <tr>
- <th colspan="2" align="left">Interface URL</th>
- </tr>
- <tr>
- <td>
- <form name="interfaceURL">
- <script>
- var defaultValue = '<uwobo:key name="interfaceURL"/>';
- document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
- </script>
- </form>
- </td>
- <td>
- <form>
- <select onChange="selectInterfaceURL(this)">
- <option value="">---</option>
- <option value="mowgli">helm</option>
- </select>
- </form>
- </td>
- </tr>
-</table>
-<br />
-<table border="0">
-<tr>
-<td><b style="padding-right: 2em">Natural language rendering</b></td>
-<td>
-<form name="naturalLanguage">
-<script>
-var defaultValue = '<uwobo:key name="naturalLanguage"/>';
-if (defaultValue == 'yes')
- document.write('<input type="checkbox" checked="1" />');
-else
- document.write('<input type="checkbox" />');
-</script>
-</form>
-</td>
-</tr>
-<tr>
-<td><b style="padding-right: 2em">Maximum size of dependency graph</b></td>
-<td>
-<form name="maxGraphSize">
-<script>
-var defaultValue = '<uwobo:key name="uri_set_size"/>';
-document.write('<input type="text" value="' + defaultValue + '" size="3" maxlength="3" />');
-</script>
-</form>
-</td>
-</tr>
-</table>
-<br />
-<table border="0">
- <tr>
- <th colspan="2" align="left">Browser</th>
- </tr>
- <tr>
- <td>
- Only new browsers support UNICODE, that is needed to render
- mathematical documents. Some old browsers, though, can render
- the most common symbols through the "symbol" font.
- </td>
- </tr>
- <tr>
- <td>
- To make us understand what kind of browser you have, please
- select below the symbol for "not belongs to". If both options
- do not show that symbol, then you will be only able to use
- the MathML mode with an external plug-out for MathML presentation.
- </td>
- </tr>
- <tr>
- <td>
- <form name="UNICODEvsSYMBOL">
- <b>Where do you see the "not belongs to" symbol?</b>
- <script>
- var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
- if (defaultValue == 'symbol')
- document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" checked="" />');
- else
- document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" />');
- </script>
- <font face="symbol">Ï</font>
- <script>
- var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
- if (defaultValue == 'unicode')
- document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" checked="" />');
- else
- document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" />');
- </script>
- ∉
- </form>
- </td>
- </tr>
-</table>
-</div>
-
-<div class="center">
- <form name="submit">
- <script>
- var origProfileId = '<uwobo:profile/>';
- </script>
- <input type="button" value="Save" onClick="saveProfile(origProfileId)"/>
- </form>
-</div>
-
-</body>
-</html>
-
projects / helm.git / blobdiff