]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/control.html
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / on-line / html / control.html
diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
deleted file mode 100644 (file)
index 183347a..0000000
--- a/helm/on-line/html/control.html
+++ /dev/null
@@ -1,263 +0,0 @@
-<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="mowgli.cs.unibo.it">mowgli</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="mowgli.cs.unibo.it">mowgli</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>
-
-<br />
-
-<table border="0">
-  <tr>
-    <th colspan="2" align="left">URI-Set URL</th>
-  </tr>
-  <tr>
-    <td>
-      <form name="uri_set_queueURL">
-        <script>
-         document.write('<input type="text" value="' + getInitialURISetQueueURL() + '" 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>
-         <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 = getURISetQueueURL() + 'help'"/>
-      </form>
-    </td>
-  </tr>
-</table>
-
-<br />
-
-<table border="0">
-  <tr>
-    <th colspan="2" align="left">Graph Drawer URL</th>
-  </tr>
-  <tr>
-    <td>
-      <form name="draw_graphURL">
-        <script>
-         document.write('<input type="text" value="' + getInitialDrawGraphURL() + '" 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>
-         <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 = getDrawGraphURL() + 'help'"/>
-      </form>
-    </td>
-  </tr>
-</table>
-
-<br />
-
-<table border="0">
-  <tr>
-    <th colspan="2" align="left">Proof-Checker URL</th>
-  </tr>
-  <tr>
-    <td>
-      <form name="proofcheckerURL">
-        <script>
-         document.write('<input type="text" value="' + getInitialProofCheckerURL() + '" 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>
-         <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 = getProofCheckerURL() + 'help'"/>
-      </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>
-      &nbsp;&nbsp;&nbsp;
-      <script>
-       document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" ' + getInitialUNICODEvsSYMBOLsymbol() + ' />');
-      </script>
-      <font face="symbol">&#207;</font>
-      &nbsp;&nbsp;&nbsp;
-      <script>
-       document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" ' + getInitialUNICODEvsSYMBOLunicode() + ' />');
-      </script>
-      &#8713;
-    </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>
-
Unnamed repository; edit this file 'description' to name the repository.