]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq2.html
Many changes in the client-side interfaces:
[helm.git] / helm / searchEngine / html / templateambigpdq2.html
index 71fe4365649c4e48d3e38280441a511e40c930a6..aea273c0b5e3d0735530944f1dad535940559660 100644 (file)
@@ -6,11 +6,11 @@ labels = new Array(@INTERPRETATIONS_LABELS@);
 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");
        }
 function resetta()
        {