]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/start.html
Adding tacticAst2Box (pretty printer for tactical, preliminary version).
[helm.git] / helm / searchEngine / html / start.html
1 <HTML>
2 <HEAD>
3 <SCRIPT language="Javascript">
4 </SCRIPT>
5 </HEAD>
6 <BODY>
7 Are you lost? Consult the <a href="http://helm.cs.unibo.it/searchEngine/manual/index.html" target="_blank">on-line manual</a>
8 <br><br>
9 <center>
10   <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+'almost_blank.html';top.initialize();">
11 <br><br>
12 <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+'almost_blank.html';top.initialize();"> 
13 </center>
14 </BODY>
15 </HTML>