From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 19 Mar 2001 15:38:30 +0000 (+0000)
Subject: Now uses the new stylesheets waterfall
X-Git-Tag: v0_1_2~56
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fb158d51c621e55962a6139d03cd1678cfb2e8f1;p=helm.git

Now uses the new stylesheets waterfall
---

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index 24ca2eed9..8debc89f8 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -110,21 +110,42 @@ function makeURL(type,uri,cicflags,typesflags)
      "&format=" + (format == "zcic" ? "gz" : "normal");
   } else {
     if (format == "html" && type == "cic") {
-      keys = "C1,HC2&param.processorURL=" + escape(processorURL) +
+      keys = "C1,HC2,L&param.processorURL=" + escape(processorURL) +
        "&param.getterURL=" + escape(getterURL) +
-       "&param.keys=" + escape("C1,HC2");
+       "&prop.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
+       "&prop.encoding=iso-8859-1" +
+       "&prop.media-type=text/html" +
+       "&param.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
+       "&param.encoding=iso-8859-1" +
+       "&param.media-type=text/html" +
+       "&param.keys=" + escape("C1,HC2,L");
     } else if (format == "html" && type == "theory") {
-      keys = "T1,T2,E&param.processorURL=" + escape(processorURL) +
+      keys = "T1,T2,L,E&param.processorURL=" + escape(processorURL) +
        "&param.getterURL=" + escape(getterURL) +
-       "&param.keys=" + escape("C1,HC2");
+       "&param.thkeys=" + escape("TC1,HC2,L") +
+       "&param.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
+       "&param.encoding=iso-8859-1" +
+       "&param.media-type=text/html" +
+       "&param.keys=" + escape("C1,HC2,L");
     } else if (format == "mml_cont" && type == "cic") {
       keys = "C1";
     } else if (format == "mml_cont" && type == "theory") {
-      keys = "T1,E&param.keys=C1";
+      keys = "T1,E&param.keys=C1&param.thkeys=TC1";
     } else if (format == "mml_pres" && type == "cic") {
-      keys = "C1,C2";
+      keys = "C1,C2,L&param.processorURL=" + escape(processorURL) +
+       "&param.getterURL=" + escape(getterURL) +
+       "&prop.doctype-public="+
+       "&prop.encoding=" +
+       "&prop.media-type=text/xml" +
+       "&param.doctype-public=" +
+       "&param.encoding=" +
+       "&param.media-type=text/xml" +
+       "&param.keys=" + escape("C1,C2,L");
     } else if (format == "mml_pres" && type == "theory") {
-      keys = "T1,T2,E&param.keys=C1,C2";
+      keys = "T1,T2,L,E&param.keys=C1,C2&param.thkeys=TC1,C2,L" +
+       "&param.doctype-public=" +
+       "&param.encoding=" +
+       "&param.media-type=text/xml";
     }
 
     var naturalLanguage = typesflags;