X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fval.html;h=cd80fbc3295f38f7abec4e3c56afdafec0c625d4;hb=11b9b274291baa8c5462b2ce3e2a5f93a39c9d57;hp=0e9aae5fee10010e5f15f80f9415a168b98c6179;hpb=000ee25879c192864cfaa0ebc27cc91a896378df;p=helm.git

diff --git a/helm/searchEngine/html/val.html b/helm/searchEngine/html/val.html
index 0e9aae5fe..cd80fbc32 100644
--- a/helm/searchEngine/html/val.html
+++ b/helm/searchEngine/html/val.html
@@ -24,7 +24,20 @@ function listvvars2()
 	}
 function help()
 	{
-	alert ("spiegazione del bottone selezionato");
+	with (document.form1) {
+	if (selopt[0].checked)
+	alert ("No help available.");
+	if (selopt[1].checked)
+	alert ("Turns a list of strings which can have attributes ( the [set] ) in a list of strings which cannot have them ( a [val] ).");
+	if (selopt[2].checked)
+	alert ("Returns the attribute of the given [vvar] in the given [rvar].");
+	if (selopt[3].checked)
+	alert ("No help available.");
+	if (selopt[4].checked)
+	alert ("Parenthesis are employed to force precedence between operators.");
+	if (selopt[5].checked)
+	alert ("The [path] you must enter represents a relation; this production returns a [val] composed by the union of all the URIs which match the chosen relation in the [val] you will enter afterwards. If you select 'inverse', you'll obtain a list of all the URIs for which the [val] matches the chosen relation, 'sub' and 'super' modify the result depending on the chosen relation.");
+	}
 	}
 function choice()
 {
@@ -75,13 +88,13 @@ if (top.stadd!="") top.aggq();
 <input type="radio" name="selopt"> <input name="val1" type=text value="{&quot;&quot;}" onFocus="selopt[0].checked=true;top.help(7)"> <br>
 <input type="radio" name="selopt"> refof [set] <br>
 <input type="radio" name="selopt"> <select name="val2" type=text onFocus="selopt[2].checked=true;top.help(4)">
-<script language=Javascript> listrvars(); </script>
+<SCRIPT language=Javascript> listrvars(); </SCRIPT>
 </select> . <select name="val8" type=text onFocus="selopt[2].checked=true;top.help(8)">
-<script language=Javascript> listvvars2(); </script>
+<SCRIPT language=Javascript> listvvars2(); </SCRIPT>
 </select>
 <br>
 <input type="radio" name="selopt"> <select name="val3" type=text onFocus="selopt[3].checked=true;top.help(81)">
-<script language=Javascript> listvvars1(); </script>
+<SCRIPT language=Javascript> listvvars1(); </SCRIPT>
 </select>
 <br>
 <input type="radio" name="selopt"> ( [val] ) <br>