]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/templateambigpdq3.html
Many changes in the client-side interfaces:
[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.window.open(top.topurl+top.action+"editorpdq.html", "sw");
10                 </script>
11         </head>
12         <body>
13                 <pre>@RESULTS@</pre>
14         </body>
15 </html>