X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Findex.html;h=0e120ed904e852de28c4a2f591ebe263ecad7a44;hb=b7905d7eddb9fd5e3bd09d488c05b1111b1f2795;hp=7e0dc270f48ee9f4e358c43ac61dfa398d16391e;hpb=b47c8d3e403bfe2339063e460e7ef7293b135f87;p=helm.git

diff --git a/helm/searchEngine/html/index.html b/helm/searchEngine/html/index.html
index 7e0dc270f..0e120ed90 100644
--- a/helm/searchEngine/html/index.html
+++ b/helm/searchEngine/html/index.html
@@ -16,7 +16,7 @@ var wrong=0;
 var ricordaliaslist=0;
 var actinput=0;
 var numeroazioniannullate=0;
-var terminecic="";var listaliases="";var choices;var vlds=new Array();//contengono i parametri per dialogare col server in caso di ambiguità nella Match Conclusion.
+var terminecic="";var listaliases="";var choices="";var interpretation_choices="";var vlds=new Array();//contengono i parametri per dialogare col server in caso di ambiguità nella Match Conclusion.
 aliasglob=new Array();//per conservare la lista degli alias
 function initialize()
 	{
@@ -92,7 +92,8 @@ function ask_uwobo(url)
                          "&param.naturalLanguage=" + encodeURIComponent(naturalLanguage) +
                          "&param.annotations=" + encodeURIComponent(annotations) +
                          "&param.topurl=" + encodeURIComponent(interface_topurl) +
-                         "&prop.method=html"));
+                         "&prop.method=html" +
+                         "&param.expandasking=" + encodeURIComponent(top.topurl)));
        }
 function help(w) // quando invocata, visualizza l' help relativo ad un oggetto. Di solito è legata ad un evento onFocus o onMouseOver.  
 	{