]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/query_choice.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / searchEngine / html / query_choice.html
diff --git a/helm/searchEngine/html/query_choice.html b/helm/searchEngine/html/query_choice.html
deleted file mode 100644 (file)
index 3e1932a..0000000
+++ /dev/null
@@ -1,33 +0,0 @@
-<HTML>
-<HEAD>
-<SCRIPT language="Javascript">
-function armageddon()
-       {
-       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");
-       }
-</SCRIPT>
-</HEAD>
-<BODY>
-<form>
-<table><tr><td>
-      <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+top.action+'loc_obj.html';top.qw.location=top.topurl+top.action+'blank.html';top.sw.location=top.topurl+top.action+'blank.html';top.gw.location=top.topurl+top.action+'blank.html';parent.toq=1;this.blur();"> Locate Object<br>
-      <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+top.action+'mat_con.html';top.qw.location=top.topurl+top.action+'blank.html';top.current_query='matchConclusion';top.sw.location=top.topurl+top.action+'editorpdq.html';parent.toq=2;this.blur();"> Match Conclusion<br>
-      <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+top.action+'mat_con.html';top.qw.location=top.topurl+top.action+'blank.html';top.current_query='searchPattern';top.sw.location=top.topurl+top.action+'editorpdq.html';parent.toq=3;this.blur();"> Search Pattern<br>
-      <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+top.action+'mat_con.html';top.qw.location=top.topurl+top.action+'blank.html';top.current_query='locateInductivePrinciple';top.sw.location=top.topurl+top.action+'editorpdq.html';parent.toq=3;this.blur();"> Locate Inductive Principle
-</td>
-</tr></table>
-</form>
-<SCRIPT language="Javascript">
-if (top.ricordaliaslist==1)
-       {
-       window.open(top.topurl+top.action+"expr.html","bw");parent.mcq="<font color=\"#ff0000\">[Expr]</font>";
-       top.qw.document.close();top.qw.document.write("<font color=\"#ff0000\">[Expr]</font>");
-       }
-</script>
-</BODY>
-</HTML>