]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/pdq.html
Branch V7_3_new_exportation merged.
[helm.git] / helm / searchEngine / html / pdq.html
diff --git a/helm/searchEngine/html/pdq.html b/helm/searchEngine/html/pdq.html
new file mode 100644 (file)
index 0000000..b4f5fe6
--- /dev/null
@@ -0,0 +1,75 @@
+<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>