]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/paginacollink.html
snapshot:
[helm.git] / helm / searchEngine / html / paginacollink.html
1 <HTML>
2 <HEAD>
3 <SCRIPT language="Javascript">
4 function apriquery()
5         {
6         window.open(top.topurl+"/getpage?url=index.html","new",hotkeys="no");
7         }
8 </SCRIPT>
9 </HEAD>
10 <BODY>
11 <a href="#" onClick="apriquery();">Query composer</a>
12 </BODY>
13 </HTML>