]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq3.html
New: the user can now refine the proposed constraints once that they are
[helm.git] / helm / searchEngine / html / templateambigpdq3.html
index e11cdb8c7de0c0dc551e2e80115e52579507b863..297182c7f3276a0a307095a50987435fd48d9e2a 100644 (file)
@@ -1,15 +1,11 @@
 <html>
-       <head>
-               <script>
-                       aliases = new Array(@NEW_ALIASES@);
-                       top.aliasglob = new Array();
-                       for (i=0; i<aliases.length; i++) {
-                               top.aliasglob[i] = aliases[i];
-                       }
-                       top.window.open(top.topurl+top.action+"editorpdq.html", "sw");
-               </script>
-       </head>
-       <body>
-               <pre>@RESULTS@</pre>
-       </body>
+   <head>
+      <style> A { text-decoration: none } </style>
+      <SCRIPT>
+         top.templateambigpdq3_init(new Array(@NEW_ALIASES@));
+      </SCRIPT>
+   </head>
+   <body>
+      @RESULTS@
+   </body>
 </html>