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

diff --git a/helm/searchEngine/html/expnamedsubst.html b/helm/searchEngine/html/expnamedsubst.html
index bbe0d7ce1..3db7acaba 100644
--- a/helm/searchEngine/html/expnamedsubst.html
+++ b/helm/searchEngine/html/expnamedsubst.html
@@ -69,10 +69,10 @@ You may enter as many of them as you want (even none), after each one click the
 <input type=submit value="add"><input type=button value="delete selected" onClick="rimuovialias()";>
 <br>
 <select name="elenco" size=7>
-<script language=Javascript> listalias(); </script>
+<SCRIPT language=Javascript> listalias(); </SCRIPT>
 </select>
 <br>
 <input type=button value="Done" onClick="invia();" >
 </form>
 </BODY>
-</HTML>
\ No newline at end of file
+</HTML>