<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="#profiles">Profiles</a></li>
<li><a href="#stylesheets">Stylesheet Management</a></li>
<li><a href="#process">Processing</a></li>
</ul>
</div>
+<br />
+<a name="profiles"/>
+<table border="0" width="100%" cellpadding="4" cellspacing="0">
+<tr>
+ <td class="head" align="left"><big>Profiles</big></td>
+ <td class="back" align="right"><a href="#top">top</a></td>
+</tr>
+</table>
+
+<div id="indent">
+
+<br />
+
+The following are commands to list and edit the UWOBO profiles.
+
+<br /><br />
+
+<p><em>List existent profiles.</em></p>
+<table border="0">
+<tr>
+ <td><form><input type="button" value="List Profiles" onClick="top.result.location.replace(getUwoboURL() + 'listprofiles')"/></form></td>
+</tr>
+</table>
+
+<p><em>Create a new profile.</em></p>
+<table border="0">
+<tr>
+ <th align="left">Name</th>
+ <th align="left">Parent profile</th>
+ <th align="left">Parent profile password</th>
+</tr>
+<tr>
+ <td>
+ <form name="createProfileID">
+ <input type="text" size="20"/>
+ </form>
+ </td>
+ <td>
+ <form name="createProfileClone">
+ <input type="text" size="20"/>
+ </form>
+ </td>
+ <td>
+ <form name="createProfilePassword">
+ <input type="password" size="20"/>
+ </form>
+ </td>
+ <td>
+ <form>
+ <input type="button" value="Create Profile" onClick="createProfile()"/>
+ </form>
+ </td>
+</tr>
+</table>
+
+<p><em>Remove a profile.</em></p>
+<table border="0">
+<tr>
+ <th align="left">Name</th>
+ <th align="left">Password</th>
+</tr>
+<tr>
+ <td>
+ <form name="removeProfileID">
+ <input type="text" size="20"/>
+ </form>
+ </td>
+ <td>
+ <form name="removeProfilePassword">
+ <input type="password" size="20"/>
+ </form>
+ </td>
+ <td>
+ <form>
+ <input type="button" value="Remove Profile" onClick="removeProfile()"/>
+ </form>
+ </td>
+</tr>
+</table>
+
+<p><em>Show profile parameters.</em></p>
+<table border="0">
+<tr>
+ <th align="left">Name</th>
+ <th align="left">Password</th>
+</tr>
+<tr>
+ <td>
+ <form name="getParamsProfileID">
+ <input type="text" size="20"/>
+ </form>
+ </td>
+ <td>
+ <form name="getParamsProfilePassword">
+ <input type="password" size="20"/>
+ </form>
+ </td>
+ <td>
+ <form>
+ <input type="button" value="Show Params" onClick="getProfileParams()"/>
+ </form>
+ </td>
+</tr>
+</table>
+
+<p><em>Set profile parameters.</em></p>
+<table border="0">
+<tr>
+ <th align="left">Name</th>
+ <th align="left">Password</th>
+ <th align="left">Parameter name</th>
+ <th align="left">Parameter value</th>
+</tr>
+<tr>
+ <td>
+ <form name="setParamProfileID">
+ <input type="text" size="20"/>
+ </form>
+ </td>
+ <td>
+ <form name="setParamProfilePassword">
+ <input type="password" size="20"/>
+ </form>
+ </td>
+ <td>
+ <form name="setParamProfileKey">
+ <input type="text" size="20"/>
+ </form>
+ </td>
+ <td>
+ <form name="setParamProfileValue">
+ <input type="text" size="20"/>
+ </form>
+ </td>
+ <td>
+ <form>
+ <input type="button" value="Set Param" onClick="setProfileParam()"/>
+ </form>
+ </td>
+</tr>
+</table>
+
+<br />
+
+</div>
+
<a name="stylesheets"/>
<table border="0" width="100%" cellpadding="4" cellspacing="0">
<tr>
<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="L2T,ls2theory.xsl,true">Getter LS ==> Theory</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="S,search.xsl,true">Call the search engine</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>
<option value="HAT,hanane_textedepreuve2omdoc.xsl,true">Proof-Trees ==> OMDoc</option>
<option value="HAO,hanane_omdoc2xhtml.xsl,true">OMDoc ==> XHTML+MathML</option>
+ <option value="SPK,substKey.xsl,true">Substitute UWOBO keys</option>
</select>
</form>
</td>