]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/aliaslist.html
New: the user can now refine the proposed constraints once that they are
[helm.git] / helm / searchEngine / html / aliaslist.html
index ac87fa57f405a1c44e6a509ebcff69f9ec8b0c11..d030ea41e4ee1c00584c0696f97877980bc70591 100644 (file)
@@ -80,7 +80,7 @@ alias
 <input name="uri" type=text size="45" value="cic:/"><br>
 <input type=submit value="add alias"><input type=button value="delete selected" onClick="rimuovialias()";><br>
 <select name="elenco" multiple size=7>
-<script language=Javascript> listalias(); document.aliaslist.idi.focus(); </script>
+<SCRIPT language=Javascript> listalias(); document.aliaslist.idi.focus(); </SCRIPT>
 </select>
 <br>
 <input type=button value="Done" onClick="top.window.open(top.topurl+top.action+'blank.html','hw');top.window.open(top.topurl+top.action+'editorpdq.html','sw');invia();" ><br>