"¶m.thinterfaceURL=" + escape(thinterfaceURL);
}
- var naturalLanguage = typesflags;
+ var naturalLanguage = typesflags.toLowerCase();
if (typesflags != "NO" || type == "theory") {
naturalLanguage = mode_list[3];
}
- var annotations = cicflags;
+ var annotations = cicflags.toLowerCase();
if (cicflags != "NO" || type == "theory") {
annotations = mode_list[4];
}