<html>
<head>
<title>Control panel</title>
+<script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/utils.js">
+<script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/utils.js">
<script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/control.js">
</script>
</head>
<td>
<a target="_top" href="$topurl?mode=$mode&cicuri=$cicuri&theoryuri=$theoryuri&processorURL=$processorURL&getterURL=$getterURL">Reload</a><br>
(do it also before attempting to take a link to the current page)
- <input type="hidden" name="hiddenprocessorURL" value="$processorURL">
- <input type="hidden" name="hiddengetterURL" value="$getterURL">
- <input type="hidden" name="hiddentopurl" value="$topurl">
- <input type="hidden" name="hiddenmode" value="$mode">
- <input type="hidden" name="hiddencicuri" value="$cicuri">
- <input type="hidden" name="hiddentheoryuri" value="$theoryuri">
+ <script>
+ top.processorURL = getParam('processorURL');
+ top.getterURL = getParam('getterURL');
+ top.topurl = getParam('topurl');
+ top.mode = getParam('mode');
+ top.cicuri = getParam('cicuri');
+ top.theoryuri = getParam('theoryuri');
+ </script>
</td>
</tr>
<tr>