]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/loc_obj.html
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / searchEngine / html / loc_obj.html
1 <HTML>
2 <HEAD>
3 <SCRIPT language="Javascript">
4 function armageddon()
5         {
6                 top.terminecic="";top.listaliases="";top.ricordaliaslist=0;top.vlds=new Array();var alias="";var expr="";
7                 top.initialize();
8                 top.window.open(top.topurl+top.action+"start.html","qw");
9                 top.window.open(top.topurl+top.action+"blank.html","cw");
10                 top.window.open(top.topurl+top.action+"blank.html","hw");
11                 top.window.open(top.topurl+top.action+"blank.html","gw");
12                 top.window.open(top.topurl+top.action+"blank.html","sw");
13         }
14 function invia()
15         {
16         top.window.open(top.topurl+top.action+"start.html","qw");
17         top.window.open(top.ask_uwobo(top.topurl+"/locate?id="+document.locate.oggetto.value),"bw");
18         }
19 </SCRIPT>
20 </HEAD>
21 <BODY>
22 <form name="locate" method="get" action="Javascript:invia();">
23 <input name="oggetto" type=text size=30>
24 Insert here the name of the object you want to search.
25 <br><input type=submit value="Display results" onMouseOver="top.help(-4)">
26 <input type=button value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></input>
27 </form>
28 </BODY>
29 </HTML>