X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fquery_choice.html;h=3e1932ad2c98f3652ccd14f695289371a7a914e2;hb=11b9b274291baa8c5462b2ce3e2a5f93a39c9d57;hp=8cb800ffd76f24db5c08a900f8d1ddda55b44952;hpb=000ee25879c192864cfaa0ebc27cc91a896378df;p=helm.git diff --git a/helm/searchEngine/html/query_choice.html b/helm/searchEngine/html/query_choice.html index 8cb800ffd..3e1932ad2 100644 --- a/helm/searchEngine/html/query_choice.html +++ b/helm/searchEngine/html/query_choice.html @@ -4,27 +4,28 @@ 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
+ Locate Inductive Principle