]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/loc_obj.html
Many changes in the client-side interfaces:
[helm.git] / helm / searchEngine / html / loc_obj.html
1 <HTML>
2 <HEAD>
3 <SCRIPT language="Javascript">
4 function invia()
5         {
6         top.window.open(top.topurl+"/locate?id="+document.locate.oggetto.value,"bw");
7         //top.window.open(top.topurl+top.action+"blank.html","bw");
8         }
9 </SCRIPT>
10 </HEAD>
11 <BODY>
12 <form name="locate" method="get" action="Javascript:invia();">
13 <input name="oggetto" type=text size=30>
14 Insert here the name of the object you want to search.
15 <br><input type=submit value="Display results">
16 </form>
17 </BODY>
18 </HTML>