]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/loc_obj.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / searchEngine / html / loc_obj.html
diff --git a/helm/searchEngine/html/loc_obj.html b/helm/searchEngine/html/loc_obj.html
deleted file mode 100644 (file)
index b6b5222..0000000
+++ /dev/null
@@ -1,29 +0,0 @@
-<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>