]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/control.js
param.annotations was yes or NO. It is now yer or no.
[helm.git] / helm / on-line / javascript / control.js
index 633ddbef40de1de58d981cd481b37dde2dc748b1..e6ad6269eab836c142313d0681a81bf2a9922c17 100644 (file)
@@ -264,11 +264,11 @@ function makeURL(type,uri,cicflags,typesflags)
        "&param.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];
     }