X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fquery_choice.html;h=2f560bf0a0b378424b99bcea6bd5dad98a3510fe;hb=fb783535ecfe90b6277605d8c8df395389acaf75;hp=8cb800ffd76f24db5c08a900f8d1ddda55b44952;hpb=fb12bdf2cf0ecbf50726b70d6a3097cb933319a0;p=helm.git diff --git a/helm/searchEngine/html/query_choice.html b/helm/searchEngine/html/query_choice.html index 8cb800ffd..2f560bf0a 100644 --- a/helm/searchEngine/html/query_choice.html +++ b/helm/searchEngine/html/query_choice.html @@ -4,27 +4,27 @@ function armageddon() { top.initialize(); - top.window.open(top.topurl+"/getpage?url=start.html","qw"); - top.window.open(top.topurl+"/getpage?url=blank.html","cw"); - top.window.open(top.topurl+"/getpage?url=blank.html","hw"); - top.window.open(top.topurl+"/getpage?url=blank.html","gw"); - top.window.open(top.topurl+"/getpage?url=blank.html","sw"); + top.window.open(top.topurl+top.action+"start.html","qw"); + top.window.open(top.topurl+top.action+"blank.html","cw"); + top.window.open(top.topurl+top.action+"blank.html","hw"); + top.window.open(top.topurl+top.action+"blank.html","gw"); + top.window.open(top.topurl+top.action+"blank.html","sw"); }
- Locate Object
- Match Conclusion
- Search Pattern + Locate Object
+ Match Conclusion
+ Search Pattern