]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/pdq.html
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / searchEngine / html / pdq.html
1 <HTML>
2 <HEAD>
3 <SCRIPT language="Javascript">
4 var mcq="";
5 var toq=0;
6 alist=new Array(10);
7 var calias=0;
8 function armageddon()
9         {
10         top.initialize();
11         top.window.open(top.topurl+top.action+"start.html","qw");
12         top.window.open(top.topurl+top.action+"blank.html","cw");
13         top.window.open(top.topurl+top.action+"blank.html","hw");
14         top.window.open(top.topurl+top.action+"blank.html","gw");
15         top.window.open(top.topurl+top.action+"blank.html","sw");
16         }
17 function aggiorna()
18         {
19         window.open(top.topurl+top.action+"aliaslist.html","bw");
20         top.cw.bw.document.aliaslist.idi.focus();
21         }
22 function aggiorna2()
23         {
24         window.open(top.topurl+top.action+"expnamedsubst.html","bw");
25         bw.document.aliaslist.varid.focus();
26         }
27 function parse() 
28         {
29         //alert(mcq);
30         calias=0;
31         if (mcq.indexOf("[")>-1)
32                 {
33                 mcq=mcq.replace("[","<font color=\"#ff0000\">[");
34                 mcq=mcq.replace("]","]</font>");
35                 top.qw.document.close();
36                 top.qw.document.write(mcq);
37                 if (mcq.charAt(mcq.indexOf("[")+1)=="A")
38                         {
39                         window.open(top.topurl+top.action+"aliaslist.html","bw")
40                         }
41                 if (mcq.charAt(mcq.indexOf("[")+1)=="E")
42                         {
43                         window.open(top.topurl+top.action+"expr.html","bw")
44                         }
45                 if (mcq.charAt(mcq.indexOf("[")+1)=="G")
46                         {
47                         window.open(top.topurl+top.action+"genid.html","bw")
48                         }
49                 if (mcq.charAt(mcq.indexOf("[")+1)=="e")
50                         {
51                         window.open(top.topurl+top.action+"expnamedsubst.html","bw")
52                         }
53                 }
54                 else 
55                         {
56                         while (mcq.indexOf("&gt;")>-1)
57                                 {
58                                 mcq=mcq.replace("&gt;",">");
59                                 }
60                         top.window.sw.editexpr(mcq);
61                         window.open(top.topurl+top.action+"blank.html","bw");
62                         window.open(top.topurl+top.action+"blank.html","qw");
63                         }
64         }       
65 function aggq()
66         {
67         parse(mcq);
68         //top.qw.document.write(mcq);   
69         }
70 </SCRIPT>
71 </HEAD>
72 <SCRIPT>
73   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> ');
74 </SCRIPT>
75 </HTML>