<td>
<script>
var url = unescape(getParam('url'));
+ var proofcheckerURL = unescape(extractParam(url,'param.proofcheckerURL'));
var CICURI = extractParam(url,'param.CICURI');
- url = "http://phd.cs.unibo.it:8085/proofCheck?uri=" + CICURI;
+ url = proofcheckerURL + "proofCheck?uri=" + CICURI;
document.write(
'<a target="proofChecker" href="' + url + '">Proof-check it</a>'
);