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

diff --git a/helm/searchEngine/html/set.html b/helm/searchEngine/html/set.html
index 292c76861..a07088957 100644
--- a/helm/searchEngine/html/set.html
+++ b/helm/searchEngine/html/set.html
@@ -138,11 +138,11 @@ if (top.stadd!="" && inputok==1) {top.aggq()}
 <input type="radio" name="selopt"> ref [val] <br>
 <input type="radio" name="selopt"> pattern [val] <br>
 <input type="radio" name="selopt"> <select name="set1" type=text onFocus="selopt[2].checked=true;top.help(6)"> 
-<script language=Javascript> listsvars(); </script>
+<SCRIPT language=Javascript> listsvars(); </SCRIPT>
 </select>
 <br>
 <input type="radio" name="selopt"> <select name="set2" type=text onFocus="selopt[3].checked=true;top.help(4)">
-<script language=Javascript> listrvars(); </script>
+<SCRIPT language=Javascript> listrvars(); </SCRIPT>
 </select>
 <br>
 <input type="radio" name="selopt"> ( [set] ) <br>
@@ -175,4 +175,4 @@ onFocus="selopt[10].checked=true;top.help(1)">  <br>
 <!--input type="button" value="compose" onclick="choice()"><!--input type="button" value="get help" onclick="help()">
 </form>
 </BODY>
-</HTML>
\ No newline at end of file
+</HTML>