X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Faliaslist.html;h=27497acf895748d05578b3a7479a9999d6962061;hb=25bcb9af3fc3ce3cebd369e3cd9f3a704403a173;hp=d030ea41e4ee1c00584c0696f97877980bc70591;hpb=02f84dc4ebb39cbebcaac6d2bbbf1e8413e10aa1;p=helm.git
diff --git a/helm/searchEngine/html/aliaslist.html b/helm/searchEngine/html/aliaslist.html
index d030ea41e..27497acf8 100644
--- 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 Id, followed by an Uri.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 Id, the equality sign '=', an Uri.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();