]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq3.html
1) fromdos on any html/* file
[helm.git] / helm / searchEngine / html / templateambigpdq3.html
index 6a6a17b96771b89afd6dd68cb5bb79ac83a3498a..851326495e3e09c45dd7eecf4362cf8a4c19c516 100644 (file)
@@ -1,16 +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.vlds=new Array();
-                       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>