From: Claudio Sacerdoti Coen Date: Wed, 12 Mar 2003 11:48:20 +0000 (+0000) Subject: Bug fixed: all the pages were not asked to the daemon ==> all the hyperlinks X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0c69862b7f4895a1178d292a08164435f4ecd84f;p=helm.git Bug fixed: all the pages were not asked to the daemon ==> all the hyperlinks were broken. --- 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; } }