]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/templateambigpdq3.html
6a6a17b96771b89afd6dd68cb5bb79ac83a3498a
[helm.git] / helm / searchEngine / html / templateambigpdq3.html
1 <html>
2         <head>
3                 <script>
4                         aliases = new Array(@NEW_ALIASES@);
5                         top.aliasglob = new Array();
6                         for (i=0; i<aliases.length; i++) {
7                                 top.aliasglob[i] = aliases[i];
8                         }
9                         top.vlds=new Array();
10                         top.window.open(top.topurl+top.action+"editorpdq.html", "sw");
11                 </script>
12         </head>
13         <body>
14                 <pre>@RESULTS@</pre>
15         </body>
16 </html>