From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 27 Nov 2001 17:05:45 +0000 (+0000)
Subject: param.annotations was yes or NO. It is now yer or no.
X-Git-Tag: mlminidom_0_2_2~52
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4866a470d100cd7eb99c499beef9b61ec0e0a3ad;p=helm.git

param.annotations was yes or NO. It is now yer or no.
---

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index 7a69e1a0e..dba30d5aa 100644
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -21,7 +21,7 @@ td.back { background-color: #e6e6fa; color: brown }
  <h1>Object: 
   &quot;<script>document.write(extractParam(unescape(getParam('url')),'param.CICURI'))</script>&quot;
  &nbsp;&nbsp;&nbsp;<font size="+1">[Annotations are
- <script>if ((extractParam(unescape(getParam('url')),'param.annotations')) == 'NO') document.write('off'); else document.write('on')</script>
+ <script>if ((extractParam(unescape(getParam('url')),'param.annotations')) == 'no') document.write('off'); else document.write('on')</script>
  ]</font>
  </h1>
  <table>
@@ -62,10 +62,17 @@ td.back { background-color: #e6e6fa; color: brown }
   </tr>
   <tr>
    <td>
-    Proof-check it
+    <script>
+     var url = unescape(getParam('url'));
+     var CICURI = extractParam(url,'param.CICURI');
+     url = "http://phd.cs.unibo.it:8085/proofCheck?uri=" + CICURI;
+     document.write(
+      '<a target="proofChecker" href="' + url + '">Proof-check it</a>'
+     );
+    </script>
    </td>
    <td>
-    (Not ported to V7, yet. Coming soon.)
+    (Not ported to V7, yet. Experimental. Coming soon.)
    </td>
   </tr>
  </table>
diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index 633ddbef4..e6ad6269e 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -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];
     }