var keys = "";
var url = "";
- var interfaceURL = chopSlash(chopSlash(top.topurl)) +
- ((type == "cic") ? "/cic/index.html" : "/theory/index.html");
+ var interfaceURL = chopSlash(chopSlash(top.topurl)) + "/cic/index.html";
+ var thinterfaceURL = chopSlash(chopSlash(top.topurl)) + "/theory/index.html";
var output = mode_list[0];
var format;
"¶m.encoding=iso-8859-1" +
"¶m.media-type=text/html" +
"¶m.keys=" + escape("C1,HC2,L") +
- "¶m.interfaceURL=" + escape(interfaceURL);
+ "¶m.interfaceURL=" + escape(interfaceURL) +
+ "¶m.thinterfaceURL=" + escape(thinterfaceURL);
} else if (format == "mml_cont" && type == "cic") {
keys = "C1";
} else if (format == "mml_cont" && type == "theory") {
"¶m.doctype-public=" +
"¶m.encoding=" +
"¶m.media-type=text/xml" +
- "¶m.interfaceURL=" + escape(interfaceURL);
+ "¶m.interfaceURL=" + escape(interfaceURL) +
+ "¶m.thinterfaceURL=" + escape(thinterfaceURL);
}
var naturalLanguage = typesflags;
}
if (output == "raw")
- return url
- else
+ return url;
+ else if (type == "cic")
return interfaceURL + "?url=" + escape(url);
+ else if (type == "theory")
+ return thinterfaceURL + "?url=" + escape(url)
}