+++ /dev/null
-<HTML>
-<HEAD>
-<SCRIPT language="Javascript">
-function choice()
- {
-with (document.form1) {
- stadd="";top.qw.document.close();quanti=0;
- if (selopt[0].checked) {stadd="\[Genid]"+document.form1.ex1.value+"[Expr].[Expr]"}
- if (selopt[1].checked) {stadd="![Genid]:[Expr].[Expr]"}
- if (selopt[2].checked) {stadd="[Expr]->[Expr]"}
- if (selopt[3].checked) {stadd="([Expr])->[Expr]"}
- if (selopt[4].checked) {stadd=document.form1.ex2.value}
- if (selopt[5].checked) {
- while (quanti<1)
- {
- quanti=prompt("How many expressions in the list?","1");//alert(quanti);
- if (isNaN(quanti)){quanti=0;}
- }
- stadd="(";
- for (i=0;i<Math.floor(quanti);i++)
- {stadd=stadd+"[Expr] "}
- stadd=stadd+")";
- }
- if (selopt[6].checked) {
- stadd=document.form1.id_or_uri.value;
- //alert(stadd.substring(0,5));
- if (stadd.substring(0,5)=="cic:/")
- {if (!top.uricheck(stadd)){stadd="";}}
- else if (!top.idcheck(stadd)){stadd="";}
- //alert(stadd);
- }
- if (stadd!="") {parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">[Expr]</font>",stadd);
- //top.qw.document.write(parent.mcq);
- parent.parse(parent.mcq);}
- }
- }
-</SCRIPT>
-</HEAD>
-<BODY>
-You are entering an expression. Select one of the following.
-<form name="form1" action="Javascript:choice();" method="get">
-<input type="radio" name="selopt">\[Genid]<select name="ex1" onFocus="selopt[0].checked=true;">
-<option value=":">:
-<option value=":=">:=
-</select>[Expr].[Expr] <br>
-<input type="radio" name="selopt">![Genid]:[Expr].[Expr] <br>
-<input type="radio" name="selopt">[Expr]->[Expr]<br>
-<input type="radio" name="selopt">([Expr])->[Expr]<br>
-<input type="radio" name="selopt"> <select name="ex2" onFocus="selopt[4].checked=true;">
-<option value="Prop"> Prop
-<option value="Set"> Set
-<option value="Type"> Type
-<option value="?"> ?
-</select> <br>
-<input type="radio" name="selopt"> ( [Expr list] ) <br>
-<input type="radio" name="selopt"> <input name="id_or_uri" type="text" onFocus="selopt[6].checked=true;top.help(-10)"><br>
-<input type=submit value="Select">
-</form>
-</BODY>
-</HTML>
\ No newline at end of file