From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 22 Jun 2001 10:48:59 +0000 (+0000)
Subject: Some simplifications (redundant code).
X-Git-Tag: v0_1_3~143
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=16b80a41a45f1df61e97057c1af1ce5114a7f4cd;p=helm.git

Some simplifications (redundant code).
---

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index bb7830888..28969b748 100644
--- a/helm/on-line/html/library/control.html
+++ b/helm/on-line/html/library/control.html
@@ -45,12 +45,6 @@
      <script>
        document.write('<a target="_top" href="' +
          getParam('topurl') + '/html/library/index.html' +
-	 '?mode=' + getParam('mode') +
-	 '&cicuri=' + getParam('cicuri') +
-	 '&theoryuri=' + getParam('theoryuri') +
-	 '&processorURL=' + getParam('processorURL') +
-	 '&getterURL=' + getParam('getterURL') +
-	 '&UNICODEvsSYMBOL=' + getParam('UNICODEvsSYMBOL') +
 	 '" onClick="refreshReload()">Reload</a>');
      </script>
      <br>
@@ -87,12 +81,6 @@
     <td>
      <script>
        document.write('<a target="_top" href="../../html/index.html' +
-         '?mode=' + getParam('mode') +
-	 '&cicuri=' + getParam('cicuri') +
-	 '&theoryuri=' + getParam('theoryuri') +
-	 '&processorURL=' + getParam('processorURL') +
-	 '&getterURL=' + getParam('getterURL') +
-	 '&UNICODEvsSYMBOL=' + getParam('UNICODEvsSYMBOL') +
 	 '" onClick="refreshReload()">Configuration Panel</a>');
      </script>
      <br>