]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/cic/control.html
Added explodeall parameter (default="false") to generate mactions with
[helm.git] / helm / on-line / html / cic / control.html
index 1aec1c225e2ec774ea7edeccff7dab32acc80429..626db75801a46594439f6e9ba79b125d152e130b 100644 (file)
@@ -33,6 +33,7 @@ td.back { background-color: #e6e6fa; color: brown }
      url = setParam(url,"prop.doctype-public","");
      url = setParam(url,"prop.encoding","");
      url = setParam(url,"prop.media-type","application/x-helm-annotation-helper");
+     url = url + "&param.explodeall=true";
      document.write(
       '<a target="result" href="' + url + '">Annotate it</a>'
      )