+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<!--
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "DTD/xhtml1-strict.dtd">
--->
-
-<html xmlns:subst="http://www.cs.unibo.it/helm/subst">
-<head>
-<title>Control panel</title>
-<!-- Note: <subst:script/> are substitued by the stylesheet with <script /> -->
-<!-- after changing @src in the concatenation of the interface URL with @src -->
-<subst:script language="JavaScript" src="/javascript/defaults.js" />
-<subst:script language="JavaScript" src="/javascript/utils.js" />
-<subst:script language="JavaScript" src="/javascript/control.js" />
-</head>
-<body bgcolor="#ffffff" text="#000000">
-<form>
-<table>
- <tr>
- <td>
- <b>Format</b>:
- </td>
- <td>
- <select name="output" onChange="updateOutput(this,document.forms[0].format)">
- <script>
- var mode = getParam2('mode');
- var mode_list = mode.split(',');
- outputOption(document, "processed", "Processed", mode_list[0]);
- outputOption(document, "raw", "Raw", mode_list[0]);
- </script>
- </select>
- </td>
- <td>
- <select name="format" onChange="updateFormat(this)">
- <script>
- var mode = getParam2('mode');
- var mode_list = mode.split(',');
- if (mode_list[0] == "raw") {
- outputOption(document, "cic", "CIC", mode_list[1]);
- outputOption(document, "types", "TYPES", mode_list[1]);
- outputOption(document, "ann", "ANN", mode_list[1]);
- outputOption(document, "fwd", "RDF: Forward pointers", mode_list[1]);
- outputOption(document, "bwd", "RDF: Backward pointers", mode_list[1]);
- } else {
- outputOption(document, "html", "HTML", mode_list[2]);
- outputOption(document, "mml_cont", "MathML Content", mode_list[2]);
- outputOption(document, "mml_pres", "MathML Presentation", mode_list[2]);
- }
- </script>
- </select>
- </td>
- <td>
- <script>
-<![CDATA[
- document.write('<a target="_top" href="' +
- getParam2('topurl') + '/html/library/index.html' +
- '" onClick="refreshReload()">Reload</a>');
-]]>
- </script>
- <br />
- (do it also before attempting to take a link to the current page)
- <script>
-<![CDATA[
- top.processorURL = getParam2('processorURL');
- top.getterURL = getParam2('getterURL');
- top.proofcheckerURL = getParam2('proofcheckerURL');
- top.draw_graphURL = getParam2('draw_graphURL');
- top.uri_set_queueURL = getParam2('uri_set_queueURL');
- top.UNICODEvsSYMBOL = getParam2('UNICODEvsSYMBOL');
- top.topurl = getParam2('topurl');
- top.mode = getParam2('mode');
- top.cicuri = getParam2('cicuri');
- top.theoryuri = getParam2('theoryuri');
-]]>
- </script>
- </td>
- </tr>
- <tr>
- <td colspan="3">
- <script>
-<![CDATA[
- var mode = getParam2('mode');
- var mode_list = mode.split(',');
- if (mode_list[0] == "raw") {
- outputCheckbox(document, "updateCompressed(this)",
- " Compressed", mode_list[5] == "gz");
- outputCheckbox(document, "updateDTDPatched(this)",
- " Resolve DTD URL", mode_list[6] == "yes");
- } else {
- outputCheckbox(document, "updateNatural(this)",
- " Natural Language", mode_list[3] == "yes");
- outputCheckbox(document, "updateAnnotations(this)",
- " Annotations", mode_list[4] == "yes");
- }
-]]>
- </script>
- </td>
- <td>
- <script>
-<![CDATA[
- document.write('<a target="_top" href=""' +
- ' onClick="refreshReload()">Configuration Panel</a>');
-]]>
- </script>
- <br />
- </td>
- </tr>
-</table>
-</form>
-</body>
-</html>
projects / helm.git / blobdiff