X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fval.html;h=cd80fbc3295f38f7abec4e3c56afdafec0c625d4;hb=1bfef566743ddd81db375cf66ed3868c5d7df542;hp=bdd2044d0e73c1ded8dcff12bace405412b7d8d3;hpb=09151f33b14507e4d20380f3100a6db5f49f3f46;p=helm.git

diff --git a/helm/searchEngine/html/val.html b/helm/searchEngine/html/val.html
index bdd2044d0..cd80fbc32 100644
--- a/helm/searchEngine/html/val.html
+++ b/helm/searchEngine/html/val.html
@@ -88,13 +88,13 @@ if (top.stadd!="") top.aggq();
 <input type="radio" name="selopt"> <input name="val1" type=text value="{&quot;&quot;}" onFocus="selopt[0].checked=true;top.help(7)"> <br>
 <input type="radio" name="selopt"> refof [set] <br>
 <input type="radio" name="selopt"> <select name="val2" type=text onFocus="selopt[2].checked=true;top.help(4)">
-<script language=Javascript> listrvars(); </script>
+<SCRIPT language=Javascript> listrvars(); </SCRIPT>
 </select> . <select name="val8" type=text onFocus="selopt[2].checked=true;top.help(8)">
-<script language=Javascript> listvvars2(); </script>
+<SCRIPT language=Javascript> listvvars2(); </SCRIPT>
 </select>
 <br>
 <input type="radio" name="selopt"> <select name="val3" type=text onFocus="selopt[3].checked=true;top.help(81)">
-<script language=Javascript> listvvars1(); </script>
+<SCRIPT language=Javascript> listvvars1(); </SCRIPT>
 </select>
 <br>
 <input type="radio" name="selopt"> ( [val] ) <br>