From 16b80a41a45f1df61e97057c1af1ce5114a7f4cd Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 22 Jun 2001 10:48:59 +0000
Subject: [PATCH] Some simplifications (redundant code).

---
 helm/on-line/html/library/control.html | 12 ------------
 1 file changed, 12 deletions(-)

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>
-- 
2.39.2