X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Flibrary%2Fcontrol.html;h=50016dcea48208e5654cbcd8dd9c97f724b282d0;hb=bb236c2ac110124de92fa2d0fb2882d273a7f7eb;hp=5c68710e10569c6b11360d9b4c63824db7d314f3;hpb=17b9d388831eaa2242c46ed76cad9a8e23c1baba;p=helm.git

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index 5c68710e1..50016dcea 100644
--- a/helm/on-line/html/library/control.html
+++ b/helm/on-line/html/library/control.html
@@ -38,6 +38,8 @@
 	  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]);
@@ -48,20 +50,18 @@
     </td>
     <td>
      <script>
+      var processorURL = '<subst:processorURL/>';
+      var interfaceURL = '<subst:interfaceURL/>';
+      var profile = '<subst:profile/>';
 <![CDATA[
-       document.write('<a target="_top" href="' +
-         getParam2('topurl') + '/html/library/index.html' +
-	 '" onClick="refreshReload()">Reload</a>');
+       document.write('<a target="_top" href="" ' +
+	 'onClick="refreshReload(profile,processorURL,interfaceURL)">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.UNICODEvsSYMBOL = getParam2('UNICODEvsSYMBOL');
-       top.topurl = getParam2('topurl');
        top.mode = getParam2('mode');
        top.cicuri = getParam2('cicuri');
        top.theoryuri = getParam2('theoryuri');
@@ -77,7 +77,7 @@
 	var mode_list = mode.split(',');
 	if (mode_list[0] == "raw") {
          outputCheckbox(document, "updateCompressed(this)",
-          "&nbsp;Compressed", mode_list[5] == "yes");
+          "&nbsp;Compressed", mode_list[5] == "gz");
          outputCheckbox(document, "updateDTDPatched(this)",
           "&nbsp;Resolve DTD URL", mode_list[6] == "yes");
         } else {
@@ -93,7 +93,7 @@
      <script>
 <![CDATA[
        document.write('<a target="_top" href=""' +
-	 ' onClick="refreshReload()">Configuration Panel</a>');
+	 ' onClick="refreshReload(profile,processorURL,interfaceURL)">Configuration Panel</a>');
 ]]>
      </script>
      <br />