]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/control.html
This commit was manufactured by cvs2svn to create branch 'start'.
[helm.git] / helm / on-line / html / control.html
diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
new file mode 100644 (file)
index 0000000..6e8662d
--- /dev/null
@@ -0,0 +1,119 @@
+<html>
+
+<head>
+<title>On-Line Library 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 }
+</style>
+
+<script language="JavaScript" src="../javascript/defaults.js"></script>
+<script language="JavaScript" src="../javascript/prelude.js"></script>
+
+</head>
+
+<body id="normal" onLoad="refreshLinks()">
+<a name="top"/>
+<table border="0" width="100%" cellpadding="4">
+<tr><td class="head" align="center"><big><big>On-Line Library Configuration</big></big></td></tr>
+</table>
+
+<br />
+
+<div id="indent">
+The on-line interface will use a
+<a href="http://www.cs.unibo.it/helm/getter" target="_top">Getter</a> to locate and
+download documents and an
+<a href="http://www.cs.unibo.it/helm/uwobo" target="_top">UWOBO</a> to apply transformations
+to them.
+
+
+<br /><br />
+
+Here you can choose the Getter and the UWOBO to use, providing valid URLs
+to instances of them.
+
+<br /><br />
+
+To control the behaviour of them, use the apposite
+<a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/getter/panel/index.html" target="_top">Getter panel</a>
+and
+<a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/uwobo/panel/index.html" target="_top">UWOBO panel</a>.
+
+<br /><br />
+
+<table border="0">
+  <tr>
+    <th colspan="2" align="left">UWOBO URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="uwoboURL">
+      <script>
+        document.write('<input type="text" value="' + getInitialProcessorURL() + '" size="50"/>');
+      </script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectUwoboURL(this)">
+         <option value="">---</option>
+         <option value="localhost">localhost</option>
+         <option value="marcello.cs.unibo.it">marcello</option>
+         <option value="phd.cs.unibo.it">phd</option>
+         <option value="eolo.cs.unibo.it">eolo</option>
+       </select>
+      </form>
+    </td>
+    <td>
+      <form>
+        <input type="button" value="Check" onClick="top.result.location = getUwoboURL() + 'help'"/>
+      </form>
+    </td>
+  </tr>
+</table>
+
+<br />
+
+<table border="0">
+  <tr>
+    <th colspan="2" align="left">Getter URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="getterURL">
+        <script>
+         document.write('<input type="text" value="' + getInitialGetterURL() + '" size="50"/>');
+       </script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectGetterURL(this)">
+         <option value="">---</option>
+         <option value="localhost">localhost</option>
+         <option value="marcello.cs.unibo.it">marcello</option>
+         <option value="phd.cs.unibo.it">phd</option>
+         <option value="eolo.cs.unibo.it">eolo</option>
+       </select>
+      </form>
+    </td>
+    <td>
+      <form>
+        <input type="button" value="Check" onClick="top.result.location = getGetterURL() + 'help'"/>
+      </form>
+    </td>
+  </tr>
+</table>
+</div>
+
+<div id="centered">
+<h1><a onClick="refreshLinks();" href="" target="_top"><script>if (top.location.search == '') document.write('ENTER THE LIBRARY'); else document.write('RETURN TO THE LIBRARY');</script></a></h1>
+</div>
+</body>
+</html>
+