]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/folder/control.html
ocaml 3.09 transition
[helm.git] / helm / on-line / html / folder / control.html
index a3d6c0fedcefbeb8f89446889609fbd597eb6e51..32c5d71ed888e3251e1e96009a284137c7c5c8fc 100644 (file)
@@ -44,7 +44,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }
  <hr />
  <div class="center">
    <script>
-     document.write('&lt;a target="result" style="color:black; text-decoration:none" href="' + url + '&amp;param.toplevel=true">');
+     document.write('&lt;a target="result" style="color:black; text-decoration:none" href="' + url + '">');
      document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/folder.png" />');
    </script>
  <h2 class="uri"><subst:base_CICURI/></h2>