- ported to Helm_registry

[helm.git] / helm / searchEngine / html / aliaslist.html
diff --git a/helm/searchEngine/html/aliaslist.html b/helm/searchEngine/html/aliaslist.html

index d030ea41e4ee1c00584c0696f97877980bc70591..27497acf895748d05578b3a7479a9999d6962061 100644 (file)
--- a/helm/searchEngine/html/aliaslist.html
+++ b/helm/searchEngine/html/aliaslist.html
@@ -60,7 +60,7 @@ function addalias()
         {
         if (top.idcheck(document.aliaslist.idi.value)==1 && top.uricheck(document.aliaslist.uri.value)==1)
                 {
-               top.aliasglob[top.aliasglob.length]="alias "+document.aliaslist.idi.value+" "+document.aliaslist.uri.value;
+               top.aliasglob[top.aliasglob.length]="alias id "+document.aliaslist.idi.value+" = "+document.aliaslist.uri.value;
                 //parent.aggiorna();
                 top.window.open(top.topurl+top.action+"aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
                 }
@@ -68,15 +68,16 @@ function addalias()
  function istruzioni()
         {       
         top.hw.document.close();
-       top.hw.document.write("You must now enter a list of alias. An Alias is the word 'alias' followed by an <a href='grammarpdq.html#Id' target='gw'>Id</a>, followed by an <a href='grammarpdq.html#Uri' target='gw'>Uri</a>.You may enter as many of them as you want, after each one click the button 'add alias' or press enter and it will be added. When you are done, click 'done'.");
+       top.hw.document.write("You must now enter a list of alias. An Alias is the word 'alias' followed by 'id', an <a href='grammarpdq.html#Id' target='gw'>Id</a>, the equality sign '=', an <a href='grammarpdq.html#Uri' target='gw'>Uri</a>.You may enter as many of them as you want, after each one click the button 'add alias' or press enter and it will be added. When you are done, click 'done'.");
         }
  istruzioni();
  </SCRIPT>
  </HEAD>
  <BODY>
  <form name="aliaslist" action="Javascript:addalias();" method="get">
-alias
+alias id
  <input name="idi" type=text size="15" value="">
+=
  <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>