+++ /dev/null
-<html>
-
-<head>
-<title>UWOBO Control Panel</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 }
-</style>
-
-<script language="JavaScript" src="control.js">
-</script>
-
-</head>
-
-<body id="normal">
-<a name="top"/>
-<table border="0" width="100%" cellpadding="4">
-<tr><td class="head" align="center"><big><big>UWOBO Control Panel</big></big></td></tr>
-</table>
-
-<br />
-
-<div id="indent">
-This is a control panel for the UWOBO servlet. You can control a local or remote UWOBO servlet by filling
-the appropriate fields <a href="#params">below</a> and sending the desired commands. In most cases, results of commands, such as error
-messages or documents, will be opened in the frame at the bottom of this page. For those commands sending multiple
-requests to the UWOBO server, a new window will be opened for each request issued. Note that in order to use
-this page <i>you must have JavaScript enabled</i>.
-If you have troubles, please send an email to the author:
-<a href="mailto:luca.padovani@cs.unibo.it">luca.padovani@cs.unibo.it</a>
-
-<br /><br />
-
-The sections:
-<ul>
- <li><a href="#params">Global Parameters</a></li>
- <li><a href="#sessions">Daemon Management</a></li>
- <li><a href="#queries">Queries</a></li>
- <li><a href="#stylesheets">Stylesheet Management</a></li>
- <li><a href="#process">Processing</a></li>
-</ul>
-
-In case you want to customize the panel for your own needs, you can download the source archive
-(HTML + JavaScript):
-<ul>
- <li>UWOBO Panel [<a href="uwobo-panel.tar.gz">.tar.gz</a>]</li>
-</ul>
-
-</div>
-
-<a name="params"/>
-<table border="0" width="100%" cellpadding="4" cellspacing="0">
-<tr>
- <td class="head" align="left"><big>Global Parameters</big></td>
- <td class="back" align="right"><a href="#top">top</a></td>
-</tr>
-</table>
-
-<br />
-
-<div id="indent">
-The following are global parameters used by all the other section to contact the UWOBO servlet and possibly a
-getter. The getter is not required for some operations and can be excluded by unchecking the proper buttons
-below.
-
-<br /><br />
-
-The following is the URL used to contact the UWOBO servlet. Note that the servlet is usually launched by
-<a href="http://jakarta.apache.org" target="top">TOMCAT</a>. <tt>localhost</tt> is relative to your machine.
-
-<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>
- <option value="helm.phd.cs.unibo.it">helm</option>
- </select>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Check" onClick="top.result.location.replace(getUwoboURL() + 'help')"/>
- </form>
- </td>
- </tr>
-</table>
-
-The following is the URL used to contact the getter. The getter is usually launched manually.
-In all cases except for the check button below,
-<tt>localhost</tt> is relative to the host running UWOBO, because the getter URL is sent as
-a parameter along with UWOBO commands. In other words, <tt>localhost</tt> <i>is</i> the host
-running UWOBO and not your machine.
-
-<br /><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.replace(getGetterURL() + 'help')"/>
- </form>
- </td>
- </tr>
-</table>
-</div>
-
-<br />
-
-<a name="sessions"/>
-<table border="0" width="100%" cellpadding="4" cellspacing="0">
-<tr>
- <td class="head" align="left"><big>Daemon Management</big></td>
- <td class="back" align="right"><a href="#top">top</a></td>
-</tr>
-</table>
-
-<br />
-
-<div id="indent">
-<p>You can start a new daemon on a given port. The new daemon will have
- an empty list of processed stylesheets.
-</p>
-<table border="0">
- <tr>
- <th colspan="2" align="left">Port</th>
- </tr>
- <tr>
- <td>
- <form name="sessions">
- <script>
- document.write('<input type="text" value="' + getInitialPort() + '" size="5"/>');
- </script>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Start New Daemon" onClick="top.result.location.replace(getUwoboURL() + 'newsession?port=' + document.sessions.elements[0].value)"/>
- </form>
- </td>
- </tr>
-</table>
-</div>
-
-<br />
-
-<div id="indent">
-<p>You can also kill the daemon. The log file will be mantained.</p>
-<table border="0">
- <tr>
- <td>
- <form>
- <input type="button" value="Stop Daemon" onClick="top.result.location.replace(getUwoboURL() + 'kill')"/>
- </form>
- </td>
- </tr>
-</table>
-</div>
-
-<br />
-<a name="queries"/>
-<table border="0" width="100%" cellpadding="4" cellspacing="0">
-<tr>
- <td class="head" align="left"><big>Queries</big></td>
- <td class="back" align="right"><a href="#top">top</a></td>
-</tr>
-</table>
-
-<div id="indent">
-
-<br />
-
-The following are commands to do some simple queries about the UWOBO servlet.
-
-<br /><br />
-
-<table border="0">
-<tr>
- <td>
- Retrieve the version of the UWOBO servlet running at the UWOBO URL and list the syntax
- of the accepted commands.
- You can use this button to verify that a UWOBO servlet
- is actually running there:
- </td>
-</tr>
-<tr>
- <td><form><input type="button" value="Help" onClick="top.result.location.replace(getUwoboURL() + 'help')"/></form></td>
-</tr>
-<tr>
- <td>
- Ask UWOBO for a list of the stylesheets currently compiled inside the servlet, along with their keys:
- </td>
-</tr>
-<tr>
- <td><form><input type="button" value="List Stylesheets" onClick="top.result.location.replace(getUwoboURL() + 'list')"/></form></td>
-</tr>
-</table>
-
-<br />
-
-</div>
-
-<a name="stylesheets"/>
-<table border="0" width="100%" cellpadding="4" cellspacing="0">
-<tr>
- <td class="head" align="left"><big>Stylesheet Management</big></td>
- <td class="back" align="right"><a href="#top">top</a></td>
-</tr>
-</table>
-
-<div id="indent">
-
-<br />
-
-In this section you can add, remove and reload stylesheet into the server. There are
-some frequently used stylesheets whose URIs and keys can be automatically filled in
-by selecting one of the options of the box below. Note that for such stylesheets
-the getter is used by default (you can deselect it, however):
-
-<br /><br 7>
-
-<table border="0">
-<tr>
- <th align="left">Predefined Stylesheets</th>
-</tr>
-<tr>
- <td>
- <form name="predefinedStylesheets">
- <select size="1" onChange="selectPredefinedStylesheet(this)">
- <option value="">---</option>
- <option value="C1,rootcontent.xsl,true">CIC ==> MathML Content</option>
- <option value="TC1,objtheorycontent.xsl,true">CIC ==> MathML Content (Show only the thesis)</option>
- <option value="C2,annotatedpres.xsl,true">MathML Content ==> MathML Presentation</option>
- <option value="T1,theory_content.xsl,true">Theory CIC ==> MathML Content</option>
- <option value="T2,theory_pres.xsl,true">Theory Content ==> MathML Presentation</option>
- <option value="E,expandobj.xsl,true">Expander</option>
- <option value="G,genmmlid.xsl,true">MathML Content ==> MathML Content + IDs</option>
- <option value="HC2,content_to_html.xsl,true">MathML Content ==> HTML</option>
- <option value="L,link.xsl,true">Resolve links</option>
- <option value="d_c,drop_coercions.xsl,true">Drop implicit coercions</option>
- <option value="meta_theory,mk_meta_theory.xsl,true">Metadata (back-pointers) to theory</option>
- <option value="L2H,ls2html.xsl,true">Getter LS ==> HTML</option>
- <option value="GP,getParam.xsl,true">Get Param</option>
- <option value="RT,resolve_topurl.xsl,true">Logic-sheet to substitute the interface URL</option>
- <option value="MC,metadataControl.xsl,true">Stylesheet to create links to metadata</option>
- <option value="MGL,makeGraphLinks.xsl,true">Add hyperlink menus to graphs</option>
- <option value="MMG,mk_meta_graph.xsl,true">Make graph of backward dependencies</option>
- <option value="MDG,mk_dep_graph.xsl,true">Make graph of dependencies</option>
- </select>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Load All Predefined" onClick="loadAllPredefined()"/>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Remove All Predefined" onClick="removeAllPredefined()"/>
- </form>
- </td>
-</tr>
-</table>
-
-Here you have to identify a stylesheet by means of a relative or absolute URI. Usually
-you will specify a relative URI when using the getter to retrieve the stylesheet.
-Moreover, you can specify a key associated to this stylesheet, so that it will be easier to
-refer to it in subsequent operations. If escaping is enabled, then the stylesheet URI will
-be escaped. This might be particularly useful if the stylesheet is loaded by the getter.
-
-<br /><br />
-
-<table border="0">
-<tr>
- <th align="left">Stylesheet</th>
- <th align="left">Key</th>
- <th align="left">Use Getter</th>
- <th align="left">Escape</th>
-</tr>
-<tr>
- <td>
- <form name="stylesheetURI">
- <input type="text" size="50"/>
- </form>
- </td>
- <td>
- <form name="stylesheetKey">
- <input type="text" size="10"/>
- </form>
- </td>
- <td>
- <form name="loadUseGetter">
- <input type="checkbox" checked="true"/>
- </form>
- </td>
- <td>
- <form name="loadEscape">
- <input type="checkbox" checked="true"/>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Load" onClick="loadStylesheet()"/>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Reload" onClick="reloadStylesheet()"/>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Remove" onClick="removeStylesheet()"/>
- </form>
- </td>
-</tr>
-</table>
-
-Use the buttons below to remove or reload <i>all</i> the stylesheets inside the servlet. Use these commands with
-care, and remember that the servlet can be shared among different users:
-
-<br /><br />
-
-<table border="0">
-<tr>
- <td>
- <form>
- <input type="button" value="Remove All" onClick="removeAllStylesheets()"/>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Reload All" onClick="reloadAllStylesheets()"/>
- </form>
- </td>
-</tr>
-</table>
-</div>
-
-<a name="process"/>
-<table border="0" width="100%" cellpadding="4" cellspacing="0">
-<tr>
- <td class="head" align="left"><big>Processing</big></td>
- <td class="back" align="right"><a href="#top">top</a></td>
-</tr>
-</table>
-
-<div id="indent">
-
-<br />
-
-You can use the "Apply" command to perform a transformation. Specify the URI of the source
-document in the form below. The URI can be relative or absolute (in the former case you
-will probably want to enable the use of the getter).
-If escaping is enabled, then special characters are escaped. This might be particularly useful
-if the source is loaded by the getter.
-
-<br /><br />
-
-<table border="0">
-<tr>
- <th align="left">Source Document</th>
- <th align="left">Escape</th>
-</tr>
-<tr>
- <td>
- <form name="sourceDocument">
- <input type="text" size="50"/>
- </form>
- </td>
- <td>
- <form name="escapeSource">
- <input type="checkbox" checked="true"/>
- </form>
- </td>
-</tr>
-</table>
-
-You can specify a sequence of zero or more parameters separated by blanks. Each
-parameter is made of a name immediately followed by <tt>=</tt> and then a value.
-If "Escape" is checked, then parameters are escaped in the final
-URI.
-
-<br /><br />
-
-<table border="0">
-<tr>
- <th align="left">Parameters (optional)</th>
- <th align="left">Escape</th>
-</tr>
-<tr>
- <td>
- <form name="parameters">
- <input type="text" size="50"/>
- </form>
- </td>
- <td>
- <form name="escapeParameters">
- <input type="checkbox" checked="true"/>
- </form>
- </td>
-</tr>
-</table>
-
-In the key list specify a list of keys
-separated by blanks. This is the list of stylesheets to be applied in sequence to the
-source document.
-When ready, click on the button and have fun!
-
-<br /><br />
-
-<table border="0">
-<tr>
- <th align="left">Key list</th>
- <th align="left">Use Getter</th>
-</tr>
-<tr>
- <td>
- <form name="keyList">
- <input type="text" size="50"/>
- </form>
- </td>
- <td>
- <form name="applyUseGetter">
- <input type="checkbox" checked="true"/>
- </form>
- </td>
- <td>
- <form>
- <input type="button" value="Apply" onClick="applyStylesheets()"/>
- </form>
- </td>
-</tr>
-</table>
-
-</div>
-
-<table border="0" width="100%" cellpadding="4" cellspacing="0">
-<tr>
- <td class="back" align="left">Page maintained by: <a href="mailto:luca.padovani@cs.unibo.it">Luca Padovani</a></td>
- <td class="back" align="right"><a href="#top">top</a></td>
-</tr>
-</table>
-
-</body>
-
-</html>
-
projects / helm.git / blobdiff