var mode = getParam('mode');
var mode_list = mode.split(',');
if (mode_list[0] == "raw") {
- outputOption(document, "cic", "CIC", mode_list[1]);
- outputOption(document, "zcic", "CIC GZipped", mode_list[1]);
+ outputOption(document, "cic", "CIC", mode_list[1]);
+ outputOption(document, "types", "TYPES", mode_list[1]);
+ outputOption(document, "ann", "ANN", mode_list[1]);
} else {
outputOption(document, "html", "HTML", mode_list[2]);
outputOption(document, "mml_cont", "MathML Content", mode_list[2]);
<script>
var mode = getParam('mode');
var mode_list = mode.split(',');
- outputCheckbox(document, "updateNatural(this)", " Natural Language", mode_list[3] == "yes");
- outputCheckbox(document, "updateAnnotations(this)", " Annotations", mode_list[4] == "yes");
+ if (mode_list[0] == "raw") {
+ outputCheckbox(document, "updateCompressed(this)",
+ " Compressed", mode_list[5] == "yes");
+ outputCheckbox(document, "updateDTDPatched(this)",
+ " Resolve DTD URL", mode_list[6] == "yes");
+ } else {
+ outputCheckbox(document, "updateNatural(this)",
+ " Natural Language", mode_list[3] == "yes");
+ outputCheckbox(document, "updateAnnotations(this)",
+ " Annotations", mode_list[4] == "yes");
+ }
</script>
</td>
<td>
-
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 =
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] +
+ "&patched_dtd=" + mode_list[6];
} else {
if (format == "html" && type == "cic") {
keys = "C1,HC2,L¶m.processorURL=" + escape(processorURL) +