]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/expnamedsubst.html
* New release of the client-side interface.
[helm.git] / helm / searchEngine / html / expnamedsubst.html
index bb8173389db4c3928a4dbc8d773f5fff428bb0c7..bbe0d7ce15acab678c3ce028e773e0b3069d68a7 100644 (file)
@@ -43,10 +43,10 @@ function addalias()
        {
        ok=0;
        if (document.aliaslist.varid.value.indexOf("/")>0)
-               {if (parent.uricheck(document.aliaslist.varid.value)==1 && document.aliaslist.varid.value.substring(document.aliaslist.varid.value.length-3,document.aliaslist.varid.value.length)=="var")
+               {if (top.uricheck(document.aliaslist.varid.value)==1 && document.aliaslist.varid.value.substring(document.aliaslist.varid.value.length-3,document.aliaslist.varid.value.length)=="var")
                        {ok=1}
                }
-       else {if (parent.idcheck(document.aliaslist.varid.value)==1)
+       else {if (top.idcheck(document.aliaslist.varid.value)==1)
                {ok=1}
                }       
        if (ok==1)
@@ -66,13 +66,13 @@ You may enter as many of them as you want (even none), after each one click the
 <br>
 <form name="aliaslist" action="Javascript:addalias();" method="get">
 <input name="varid" type=text size="35"> Insert here the Id or the Uri you want to add.
-<input type=submit value="add">
-<input type=button value="Done" onClick="invia();" ><br>
+<input type=submit value="add"><input type=button value="delete selected" onClick="rimuovialias()";>
+<br>
 <select name="elenco" size=7>
 <script language=Javascript> listalias(); </script>
 </select>
 <br>
-<input type=button value="delete selected" onClick="rimuovialias()";>
+<input type=button value="Done" onClick="invia();" >
 </form>
 </BODY>
 </HTML>
\ No newline at end of file