--- /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
projects / helm.git / blobdiff