]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/val.html
* New release of the client-side interface.
[helm.git] / helm / searchEngine / html / val.html
index 0e9aae5fee10010e5f15f80f9415a168b98c6179..bdd2044d0e73c1ded8dcff12bace405412b7d8d3 100644 (file)
@@ -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()
 {