]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/genid.html
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / searchEngine / html / genid.html
1 <HTML>
2 <HEAD>
3 <SCRIPT language="Javascript">
4 sel=2;stadd="";
5 function choice()
6         {
7         if (sel==0){stadd=document.form1.gen0.value;if (!top.idcheck(document.form1.gen0.value)){stadd=""}}
8         if (sel==1){stadd=document.form1.gen1.value;if (!top.uricheck(document.form1.gen1.value)){stadd=""}
9         if (stadd.substring(stadd.length-3,stadd.length)=="con"){stadd="";alert("You may not enter a Conuri.")}}
10         if (sel==1 && stadd!="") {stadd=stadd+" [exp_named_subst]";}
11         if (stadd!="") {parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">[Genid]</font>",stadd);
12         //top.qw.document.close();top.qw.document.write(parent.mcq);
13         parent.parse(parent.mcq);}
14         sel=2;
15         }
16 </SCRIPT>
17 </HEAD>
18 <BODY>
19 You are now entering a Genid. It may be a simple <a href="grammarpdq.html#Id" target="gw">Id</a>, or an <a href="grammarpdq.html#Uri" target="gw">Uri</a> followed by nothing or by an <a href="grammarpdq.html#Exp_Named_Subst" target="gw">Exp_Named_Subst</a>.
20 <form name="form1" action="Javascript:choice();" method="get">
21 <input name="gen0" type=text onFocus="sel=0"> Insert here the <a href="grammarpdq.html#Id" target="gw">Id</a>
22 <br>
23 <input name="gen1" type=text value="cic:/" onFocus="sel=1"> Or insert here the <a href="grammarpdq.html#Uri" target="gw">Uri</a>. The uri may not be a <a href="grammarpdq.html#Conuri" target="gw">Conuri</a>.<br>
24 <input type=submit value="Enter">
25 </form>
26 </BODY>
27 </HTML>