X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fboole.html;h=67024321be03629e7e91c1bb2556ff7bf0cda773;hb=02a075a57f4e40ff34b7ae1351ab77c32d0d427b;hp=015ac57c85342b50b454e552dad023b3ef69acd3;hpb=f56fe02e31003418cf9dbe3a472fe665acbbf4f5;p=helm.git

diff --git a/helm/searchEngine/html/boole.html b/helm/searchEngine/html/boole.html
index 015ac57c8..67024321b 100644
--- 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()
 {