]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/start.html
Many changes in the client-side interfaces:
[helm.git] / helm / searchEngine / html / start.html
1 <HTML>
2 <HEAD>
3 <SCRIPT language="Javascript">
4 </SCRIPT>
5 </HEAD>
6 <BODY>
7 <center>
8   <input type=button value="Compose a query" onClick="top.cw.location=top.topurl+top.action+'set.html';top.gw.location=top.topurl+top.action+'grammar.html#set';top.sw.location=top.topurl+top.action+'editor.html';top.qw.location=top.topurl+top.action+'blank.html';top.initialize();">
9 <br><br>
10 <input type=button value="Submit a pre-defined query" onClick="top.cw.location=top.topurl+top.action+'pdq.html';top.gw.location=top.topurl+top.action+'blank.html';top.sw.location=top.topurl+top.action+'blank.html';top.qw.location=top.topurl+top.action+'blank.html';top.initialize();"> 
11 </center>
12 </BODY>
13 </HTML>