From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 22 Mar 2001 11:03:12 +0000 (+0000)
Subject: Now links are followed even in theory + MathML Presentation
X-Git-Tag: v0_1_2~48
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=98a2af5652851a3ef8260cfcb66fe5f87341117c;p=helm.git

Now links are followed even in theory + MathML Presentation
---

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index 9e1fe8982..e43587573 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -159,6 +159,8 @@ function makeURL(type,uri,cicflags,typesflags)
        "&param.keys=" + escape("C1,C2,L");
     } else if (format == "mml_pres" && type == "theory") {
       keys = "T1,T2,L,E&param.keys=C1,C2&param.thkeys=TC1,C2,L" +
+       "&param.processorURL=" + escape(processorURL) +
+       "&param.getterURL=" + escape(getterURL) +
        "&param.doctype-public=" +
        "&param.encoding=" +
        "&param.media-type=text/xml";