]> matita.cs.unibo.it Git - helm.git/commitdiff
Content-type for MathML Content "fixed". Why was it broken?
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 23 Nov 2001 17:12:00 +0000 (17:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 23 Nov 2001 17:12:00 +0000 (17:12 +0000)
helm/on-line/javascript/control.js

index 7dc83d7f24d6c76aa665c25c9ad4126a67d79886..633ddbef40de1de58d981cd481b37dde2dc748b1 100644 (file)
@@ -208,7 +208,13 @@ function makeURL(type,uri,cicflags,typesflags)
        "&param.interfaceURL=" + escape(interfaceURL) +
        "&param.thinterfaceURL=" + escape(thinterfaceURL);
     } else if (format == "mml_cont" && type == "cic") {
-      keys = escape("d_c,C1");
+      keys = escape("d_c,C1")+
+       "&prop.doctype-public="+
+       "&prop.encoding=" +
+       "&prop.media-type=text/xml" +
+       "&param.doctype-public=" +
+       "&param.encoding=" +
+       "&param.media-type=text/xml";
     } else if (format == "mml_cont" && type == "theory") {
       keys = escape("T1,L,E")+
        "&param.keys=" + escape("d_c,C1") +