]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/configuration.html
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
New HELM interface almost stable.
[helm.git] / helm / on-line / html / configuration.html
diff --git a/helm/on-line/html/configuration.html b/helm/on-line/html/configuration.html
new file mode 100644 (file)
index 0000000..3139d63
--- /dev/null
+++ b/helm/on-line/html/configuration.html
@@ -0,0 +1,324 @@
+<?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">
+&#xa0;
+</script>
+<script language="JavaScript" src="http://helm.cs.unibo.it/helm/javascript/prelude.js">
+&#xa0;
+</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')"/>
+       &#xa0;&#xa0;
+       [<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')"/>
+       &#xa0;&#xa0;
+       [<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">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>
+</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 &quot;symbol&quot; font.
+   </td>
+  </tr>
+  <tr>
+   <td>
+    To make us understand what kind of browser you have, please
+    select below the symbol for &quot;not belongs to&quot;. 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 &quot;not belongs to&quot; 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">&#207;</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>
+      &#8713;
+      </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>
+
Unnamed repository; edit this file 'description' to name the repository.