]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/cic/index.html
annotationHelper now working again. A control frame has been added to
[helm.git] / helm / on-line / html / cic / index.html
index c0611022cf52a4f96b3da6d204164b9a5c2a97b9..c40fd06cb4007b5b383dd0f3a636c1761286554a 100644 (file)
@@ -9,7 +9,7 @@
 <script>
   document.write('<frameset rows="18%,*" border="0" scrolling="no">');
   document.write('<frame src="control.html?url=' + getParam('url') +'"/>');
-  document.write('<frame src="' + unescape(getParam('url')) + '"/>');
+  document.write('<frame src="' + unescape(getParam('url')) + '" + name="result"/>');
 /*
   document.write('<frame src="control.html' +
        '?topurl=' + location.protocol + "//" + location.host + location.pathname +