* New release of the client-side interface.

[helm.git] / helm / searchEngine / html / boole.html

diff --git a/helm/searchEngine/html/boole.html b/helm/searchEngine/html/boole.html
index 015ac57c85342b50b454e552dad023b3ef69acd3..67024321be03629e7e91c1bb2556ff7bf0cda773 100644 (file)
--- a/helm/searchEngine/html/boole.html
+++ b/helm/searchEngine/html/boole.html
@@ -3,7 +3,18 @@
 <SCRIPT language="Javascript">
 function help()
        {
-       alert ("spiegazione del bottone selezionato");
+       with (document.form1) {
+       if (selopt[0].checked)
+       alert ("No help available.");
+       if (selopt[1].checked)
+       alert ("Parenthesis are employed to force precedence between operators.");
+       if (selopt[2].checked)
+       alert ("'not' returns true if the given [boole] is false, 'ex' returns true if there is at least one group of attributes for each [rvar] referenced by the operators or inside the given [boole] for which the condition is true.");
+       if (selopt[3].checked)
+       alert ("'and' returns true if both conditions are true, 'or' returns true if at least one is true.");
+       if (selopt[4].checked)
+       alert ("'sub' returns true if the first [val] is a subset of the second.\n'meet' returns true if the intersection between the two [val] is not empty.\n'eq' returns true if both [val] are identical.");
+       }
        }
 function choice()
 {