X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Findex.html;h=7e09b91f3710ef8e1f7bcbc970b336b62b677436;hb=0c69862b7f4895a1178d292a08164435f4ecd84f;hp=8cb492b1360cd39b4d98d6b794cfdebe24c585a0;hpb=fb783535ecfe90b6277605d8c8df395389acaf75;p=helm.git
diff --git a/helm/searchEngine/html/index.html b/helm/searchEngine/html/index.html
index 8cb492b13..7e09b91f3 100644
--- a/helm/searchEngine/html/index.html
+++ b/helm/searchEngine/html/index.html
@@ -46,7 +46,7 @@ function help(w) // quando invocata, visualizza l' help relativo ad un oggetto.
{
hw.document.close();
switch (w) {
- case -10: hw.document.write("Insert an Id or an Uri here.")
+ case -10: hw.document.write("Insert an Id or an Uri here.")
break;
case -9: hw.document.write("By clicking this you may add or remove aliases as you wish.")
break;
@@ -64,7 +64,7 @@ function help(w) // quando invocata, visualizza l' help relativo ad un oggetto.
break;
case -3: hw.document.write("Substitutes your query with the text written in the area above. Unless you have a good knowledge of MathQL, it's recommended that you use this only to recover errors.")
break;
- case -2: hw.document.write("This is the edit/submit window. You can modify your query here, but be aware that no syntax check will be performed and that if you enter a variable it won't be available for quick composition later. You may also want to add a set, a val or a boole somewhere in the query. If you do, write '<set>','<val>' or '<bol>' in the point you'd like it to appear, or use the buttons on the right if you are using IE. When you're done with the query, click the Submit button.")
+ case -2: hw.document.write("This is the edit/submit window. You can modify your query here, but be aware that no syntax check will be performed and that if you enter a variable it won't be available for quick composition later. You may also want to add a set, a val or a boole somewhere in the query. If you do, write '<set>','<val>' or '<bol>' in the point you'd like it to appear, or use the buttons on the right if you are using IE. When you're done with the query, click the Submit button.")
break;
case -1: hw.document.write("You may see the grammar here.")
break;
@@ -72,23 +72,23 @@ function help(w) // quando invocata, visualizza l' help relativo ad un oggetto.
break;
case 1: hw.document.write("You may enter an arbitrary statement here; be careful since syntax errors won't be detected.");
break;
- case 2: hw.document.write("Enter an attr_list here.");
+ case 2: hw.document.write("Enter an attr_list here.");
break;
- case 3: hw.document.write("Enter an id here.");
+ case 3: hw.document.write("Enter an id here.");
break;
- case 4: hw.document.write("You must select one previously entered rvar. If you haven't already entered at least one, you can't choose this. ");
+ case 4: hw.document.write("You must select one previously entered rvar. If you haven't already entered at least one, you can't choose this. ");
break;
- case 5: hw.document.write("Enter a path here.");
+ case 5: hw.document.write("Enter a path here.");
break;
- case 6: hw.document.write("You must select one previously entered svar. If you haven't already entered at least one, you can't choose this. ");
+ case 6: hw.document.write("You must select one previously entered svar. If you haven't already entered at least one, you can't choose this. ");
break;
- case 7: hw.document.write("Enter a string_list here.");
+ case 7: hw.document.write("Enter a string_list here.");
break;
- case 8: hw.document.write("You must select one vvar previously entered as an 'attr'. If you haven't already entered at least one, you can't choose this. ");
+ case 8: hw.document.write("You must select one vvar previously entered as an 'attr'. If you haven't already entered at least one, you can't choose this. ");
break;
- case 81: hw.document.write("You must select one vvar previously entered in a 'let' statement. If you haven't already entered at least one, you can't choose this. ");
+ case 81: hw.document.write("You must select one vvar previously entered in a 'let' statement. If you haven't already entered at least one, you can't choose this. ");
break;
- case 9: hw.document.write("Enter a single quoted_string here.");
+ case 9: hw.document.write("Enter a single quoted_string here.");
break;
}
}