]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq3.html
* New release of the client-side interface.
[helm.git] / helm / searchEngine / html / templateambigpdq3.html
index e11cdb8c7de0c0dc551e2e80115e52579507b863..6a6a17b96771b89afd6dd68cb5bb79ac83a3498a 100644 (file)
@@ -6,6 +6,7 @@
                        for (i=0; i<aliases.length; i++) {
                                top.aliasglob[i] = aliases[i];
                        }
+                       top.vlds=new Array();
                        top.window.open(top.topurl+top.action+"editorpdq.html", "sw");
                </script>
        </head>