]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/pdq.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / searchEngine / html / pdq.html
diff --git a/helm/searchEngine/html/pdq.html b/helm/searchEngine/html/pdq.html
deleted file mode 100644 (file)
index b4f5fe6..0000000
+++ /dev/null
@@ -1,75 +0,0 @@
-<HTML>
-<HEAD>
-<SCRIPT language="Javascript">
-var mcq="";
-var toq=0;
-alist=new Array(10);
-var calias=0;
-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");
-       }
-function aggiorna()
-       {
-       window.open(top.topurl+top.action+"aliaslist.html","bw");
-       top.cw.bw.document.aliaslist.idi.focus();
-       }
-function aggiorna2()
-       {
-       window.open(top.topurl+top.action+"expnamedsubst.html","bw");
-       bw.document.aliaslist.varid.focus();
-       }
-function parse() 
-       {
-       //alert(mcq);
-       calias=0;
-       if (mcq.indexOf("[")>-1)
-               {
-               mcq=mcq.replace("[","<font color=\"#ff0000\">[");
-               mcq=mcq.replace("]","]</font>");
-               top.qw.document.close();
-               top.qw.document.write(mcq);
-               if (mcq.charAt(mcq.indexOf("[")+1)=="A")
-                       {
-                       window.open(top.topurl+top.action+"aliaslist.html","bw")
-                       }
-               if (mcq.charAt(mcq.indexOf("[")+1)=="E")
-                       {
-                       window.open(top.topurl+top.action+"expr.html","bw")
-                       }
-               if (mcq.charAt(mcq.indexOf("[")+1)=="G")
-                       {
-                       window.open(top.topurl+top.action+"genid.html","bw")
-                       }
-               if (mcq.charAt(mcq.indexOf("[")+1)=="e")
-                       {
-                       window.open(top.topurl+top.action+"expnamedsubst.html","bw")
-                       }
-               }
-               else 
-                       {
-                       while (mcq.indexOf("&gt;")>-1)
-                               {
-                               mcq=mcq.replace("&gt;",">");
-                               }
-                       top.window.sw.editexpr(mcq);
-                       window.open(top.topurl+top.action+"blank.html","bw");
-                       window.open(top.topurl+top.action+"blank.html","qw");
-                       }
-       }       
-function aggq()
-       {
-       parse(mcq);
-       //top.qw.document.write(mcq);   
-       }
-</SCRIPT>
-</HEAD>
-<SCRIPT>
-  document.write(' <frameset rows="24%,76%" border="0" noresize> <frame name=tw src="'+top.topurl+top.action+'query_choice.html";> <frame name=bw src="'+top.topurl+top.action+'blank.html";> </frameset> ');
-</SCRIPT>
-</HTML>