]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/loc_obj.html
Branch V7_3_new_exportation merged.
[helm.git] / helm / searchEngine / html / loc_obj.html
diff --git a/helm/searchEngine/html/loc_obj.html b/helm/searchEngine/html/loc_obj.html
new file mode 100644 (file)
index 0000000..b6b5222
--- /dev/null
@@ -0,0 +1,29 @@
+<HTML>
+<HEAD>
+<SCRIPT language="Javascript">
+function armageddon()
+       {
+               top.terminecic="";top.listaliases="";top.ricordaliaslist=0;top.vlds=new Array();var alias="";var expr="";
+               top.initialize();
+               top.window.open(top.topurl+top.action+"start.html","qw");
+               top.window.open(top.topurl+top.action+"blank.html","cw");
+               top.window.open(top.topurl+top.action+"blank.html","hw");
+               top.window.open(top.topurl+top.action+"blank.html","gw");
+               top.window.open(top.topurl+top.action+"blank.html","sw");
+       }
+function invia()
+       {
+       top.window.open(top.topurl+top.action+"start.html","qw");
+       top.window.open(top.ask_uwobo(top.topurl+"/locate?id="+document.locate.oggetto.value),"bw");
+       }
+</SCRIPT>
+</HEAD>
+<BODY>
+<form name="locate" method="get" action="Javascript:invia();">
+<input name="oggetto" type=text size=30>
+Insert here the name of the object you want to search.
+<br><input type=submit value="Display results" onMouseOver="top.help(-4)">
+<input type=button value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></input>
+</form>
+</BODY>
+</HTML>