From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 20 Jul 2001 15:14:18 +0000 (+0000)
Subject: Added explodeall parameter (default="false") to generate mactions with
X-Git-Tag: v0_1_3~107
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bf5c41c682dfa66f4f44b78c6f7de558e2364233;p=helm.git

Added explodeall parameter (default="false") to generate mactions with
only the exploded component. Used during annotation.
---

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index 1aec1c225..626db7580 100644
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -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>'
      )