]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/genid.html
Branch V7_3_new_exportation merged.
[helm.git] / helm / searchEngine / html / genid.html
diff --git a/helm/searchEngine/html/genid.html b/helm/searchEngine/html/genid.html
new file mode 100644 (file)
index 0000000..1ca94c4
--- /dev/null
@@ -0,0 +1,27 @@
+<HTML>
+<HEAD>
+<SCRIPT language="Javascript">
+sel=2;stadd="";
+function choice()
+       {
+       if (sel==0){stadd=document.form1.gen0.value;if (!top.idcheck(document.form1.gen0.value)){stadd=""}}
+       if (sel==1){stadd=document.form1.gen1.value;if (!top.uricheck(document.form1.gen1.value)){stadd=""}
+       if (stadd.substring(stadd.length-3,stadd.length)=="con"){stadd="";alert("You may not enter a Conuri.")}}
+       if (sel==1 && stadd!="") {stadd=stadd+" [exp_named_subst]";}
+       if (stadd!="") {parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">[Genid]</font>",stadd);
+       //top.qw.document.close();top.qw.document.write(parent.mcq);
+       parent.parse(parent.mcq);}
+       sel=2;
+       }
+</SCRIPT>
+</HEAD>
+<BODY>
+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>.
+<form name="form1" action="Javascript:choice();" method="get">
+<input name="gen0" type=text onFocus="sel=0"> Insert here the <a href="grammarpdq.html#Id" target="gw">Id</a>
+<br>
+<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>
+<input type=submit value="Enter">
+</form>
+</BODY>
+</HTML>