X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Findex.html;h=fa91efcffbc9dada5665f5827f6691ce8b59d774;hb=ac7687ce66526f905874ed99a845223c853c558a;hp=305b2f8e19e1bcbbbe8a160feb1edcdba5d9b4ce;hpb=d82fff2a6090856a5f05aad2757af1bbec942adb;p=helm.git

diff --git a/helm/searchEngine/html/index.html b/helm/searchEngine/html/index.html
index 305b2f8e1..fa91efcff 100644
--- a/helm/searchEngine/html/index.html
+++ b/helm/searchEngine/html/index.html
@@ -45,12 +45,7 @@ function initialize()
 // @variable@ will be substituted by the searchEngine with the param.variable
 // argument value
 var processorURL="@processorURL@";
-var getterURL="@getterURL@";
 var thkeys="@thkeys@";
-var proofcheckerURL="@proofcheckerURL@";
-var draw_graphURL="@draw_graphURL@";
-var uri_set_queueURL="@uri_set_queueURL@";
-var UNICODEvsSYMBOL="@UNICODEvsSYMBOL@";
 var keys="@keys@";
 var thkeys="@thkeys@";
 var embedkeys="@embedkeys@";
@@ -59,25 +54,18 @@ var encoding="@encoding@";
 var thencoding="@thencoding@";
 var media_type="@media-type@";
 var thmedia_type="@thmedia-type@";
-var interfaceURL="@interfaceURL@";
-var thinterfaceURL="@thinterfaceURL@";
 var CICURI="@CICURI@";
 var naturalLanguage="@naturalLanguage@";
 var annotations="@annotations@";
-var interface_topurl="@topurl@";
 
 function ask_uwobo(url)
        {
          return (top.topurl+"/ask_uwobo?url="+
                  encodeURIComponent(processorURL + "apply?" +
                          "xmluri=" + encodeURIComponent(url) +
+                         "&profile=default" +
+                         "&param.profile=default" +
                          "&keys=" + encodeURIComponent(thkeys) +
-                         "&param.processorURL=" + encodeURIComponent(processorURL) +
-                         "&param.getterURL=" + encodeURIComponent(getterURL) +
-                         "&param.proofcheckerURL=" + encodeURIComponent(proofcheckerURL) +
-                         "&param.draw_graphURL=" + encodeURIComponent(draw_graphURL) +
-                         "&param.uri_set_queueURL=" + encodeURIComponent(uri_set_queueURL) +
-                         "&param.UNICODEvsSYMBOL=" + encodeURIComponent(UNICODEvsSYMBOL) +
                          "&param.keys=" + encodeURIComponent(keys) +
                          "&param.thkeys=" + encodeURIComponent(thkeys) +
                          "&param.embedkeys=" + encodeURIComponent(embedkeys) +
@@ -86,13 +74,11 @@ function ask_uwobo(url)
                          "&param.thencoding=" + encodeURIComponent(thencoding) +
                          "&param.media-type=" + encodeURIComponent(media_type) +
                          "&param.thmedia-type=" + encodeURIComponent(thmedia_type) +
-                         "&param.interfaceURL=" + encodeURIComponent(interfaceURL) +
-                         "&param.thinterfaceURL=" + encodeURIComponent(thinterfaceURL) +
                          "&param.CICURI=" + encodeURIComponent(CICURI) +
                          "&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.  
 	{