-
function updateMode(i, s)
{
var mode = top.mode;
refreshReload();
}
+function updateCompressed(checkbox)
+{
+ if (checkbox.checked) updateMode(5, "gz");
+ else updateMode(5, "normal");
+ refreshReload();
+}
+
+function updateDTDPatched(checkbox)
+{
+ if (checkbox.checked) updateMode(6, "yes");
+ else updateMode(6, "no");
+ refreshReload();
+}
+
function refreshReload()
{
var search =
return true;
}
+function getCICMathMLKeys()
+{
+ //Important note: do not modify this function without modifying makeURL
+ return escape("C1,C2,L");
+}
+
function makeURL(type,uri,cicflags,typesflags)
{
var mode = top.mode;
var keys = "";
var url = "";
+ var interfaceURL = chopSlash(chopSlash(top.topurl)) +
+ ((type == "cic") ? "/cic/index.html" : "/theory/index.html");
+
var output = mode_list[0];
var format;
if (output == "raw") format = mode_list[1];
else format = mode_list[2];
if (output == "raw") {
- url = getterURL + "getxml?uri=" + uri +
- "&format=" + (format == "zcic" ? "gz" : "normal");
+ var ext = "";
+ if (format == "types") ext = ".types"
+ else if (format == "ann") ext = ".ann";
+ url = getterURL + "getxml?uri=" + uri + ext + "&format=" + mode_list[5] +
+ "&patch_dtd=" + mode_list[6];
} else {
if (format == "html" && type == "cic") {
- keys = "C1,HC2¶m.processorURL=" + escape(processorURL) +
+ //Important note: do not modify this function without modifying
+ //getCICMathMLKeys
+ keys = escape("C1,HC2,L")+"¶m.processorURL=" + escape(processorURL) +
"¶m.getterURL=" + escape(getterURL) +
- "¶m.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" +
+ "¶m.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
+ "¶m.encoding=iso-8859-1" +
+ "¶m.media-type=text/html" +
+ "¶m.keys=" + escape("C1,HC2,L") +
+ "¶m.interfaceURL=" + escape(interfaceURL);
} else if (format == "html" && type == "theory") {
- keys = "T1,T2,E¶m.processorURL=" + escape(processorURL) +
+ keys = escape("T1,T2,L,E")+"¶m.processorURL=" + escape(processorURL) +
"¶m.getterURL=" + escape(getterURL) +
- "¶m.keys=" + escape("C1,HC2");
+ "¶m.thkeys=" + escape("TC1,HC2,L") +
+ "¶m.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
+ "¶m.encoding=iso-8859-1" +
+ "¶m.media-type=text/html" +
+ "¶m.keys=" + escape("C1,HC2,L") +
+ "¶m.interfaceURL=" + escape(interfaceURL);
} else if (format == "mml_cont" && type == "cic") {
keys = "C1";
} else if (format == "mml_cont" && type == "theory") {
- keys = "T1,E¶m.keys=C1";
+ keys = escape("T1,E")+"¶m.keys=C1¶m.thkeys=TC1";
} else if (format == "mml_pres" && type == "cic") {
- keys = "C1,C2";
+ keys = escape("C1,C2,L")+"¶m.processorURL=" + escape(processorURL) +
+ "¶m.getterURL=" + escape(getterURL) +
+ "&prop.doctype-public="+
+ "&prop.encoding=" +
+ "&prop.media-type=text/xml" +
+ "¶m.doctype-public=" +
+ "¶m.encoding=" +
+ "¶m.media-type=text/xml" +
+ "¶m.keys=" + escape("C1,C2,L") +
+ "¶m.interfaceURL=" + escape(interfaceURL);
} else if (format == "mml_pres" && type == "theory") {
- keys = "T1,T2,E¶m.keys=C1,C2";
+ keys = escape("T1,T2,L,E")+"¶m.keys=C1,C2,L¶m.thkeys=TC1,C2,L" +
+ "¶m.processorURL=" + escape(processorURL) +
+ "¶m.getterURL=" + escape(getterURL) +
+ "¶m.doctype-public=" +
+ "¶m.encoding=" +
+ "¶m.media-type=text/xml" +
+ "¶m.interfaceURL=" + escape(interfaceURL);
}
var naturalLanguage = typesflags;
url = processorURL + "apply?xmluri=" + escape(getterURL + "getxml?uri=" + uri) + "&keys=" + keys + "¶m.CICURI=" + uri + "¶m.naturalLanguage=" + naturalLanguage + "¶m.annotations=" + annotations;
}
- return url;
+ if (output == "raw")
+ return url
+ else
+ return interfaceURL + "?url=" + escape(url);
}