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>