New: the user can now refine the proposed constraints once that they are

[helm.git] / helm / searchEngine / html / expnamedsubst.html

diff --git a/helm/searchEngine/html/expnamedsubst.html b/helm/searchEngine/html/expnamedsubst.html
index bbe0d7ce15acab678c3ce028e773e0b3069d68a7..3db7acaba8f92efba461fc126cc4b4cf919b7c57 100644 (file)
--- 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>