X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Faliaslist.html;h=60c38cf72b7588a5d6bf06603fdd6aecafc519e1;hb=6c46e2f25042f33cb6af02701bc18cb9987d4ee4;hp=2b5c54163d7c0d52b322bece1a5dac7d5a6d78fe;hpb=31daca5d8c1789d93cd81ac3ccd167c18bc6cf35;p=helm.git

diff --git a/helm/searchEngine/html/aliaslist.html b/helm/searchEngine/html/aliaslist.html
index 2b5c54163..60c38cf72 100644
--- a/helm/searchEngine/html/aliaslist.html
+++ b/helm/searchEngine/html/aliaslist.html
@@ -71,7 +71,7 @@ alias
 <input name="idi" type=text size="15">
 <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" size=7>
+<select name="elenco" multiple size=7>
 <script language=Javascript> listalias(); document.aliaslist.idi.focus(); </script>
 </select>
 <br>