X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fconfiguration.html;h=f183ed1183ae1fdc47a73c9c33f192351b37ea3b;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=3139d63caa48d7c328aa215447fce84c30933471;hpb=aacc5f566b60763bede71263cb9441b5b2fb04a1;p=helm.git

diff --git a/helm/on-line/html/configuration.html b/helm/on-line/html/configuration.html
index 3139d63ca..f183ed118 100644
--- a/helm/on-line/html/configuration.html
+++ b/helm/on-line/html/configuration.html
@@ -207,6 +207,34 @@ bottom of the page.
       </form>
     </td>
   </tr>
+  <tr>
+    <th colspan="2" align="left">Search Engine URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="searchengineURL">
+        <script>
+	  var defaultValue = '<uwobo:key name="searchengineURL"/>';
+	  document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
+	</script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectSearchEngineURL(this)">
+	  <option value="">---</option>
+	  <option value="localhost">localhost</option>
+	  <option value="mowgli.cs.unibo.it">mowgli</option>
+	  <option value="marcello.cs.unibo.it">marcello</option>
+	</select>
+      </form>
+    </td>
+    <td>
+      <form>
+        <input type="button" value="Check" onClick="window.open(getSearchEngineURL() + 'help')"/>
+      </form>
+    </td>
+  </tr>
   <tr>
     <th colspan="2" align="left">RDFly URL</th>
   </tr>
@@ -235,6 +263,27 @@ bottom of the page.
       </form>
     </td>
   </tr>
+  <tr>
+    <th colspan="2" align="left">Interface URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="interfaceURL">
+        <script>
+	  var defaultValue = '<uwobo:key name="interfaceURL"/>';
+	  document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
+	</script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectInterfaceURL(this)">
+	  <option value="">---</option>
+	  <option value="mowgli">helm</option>
+	</select>
+      </form>
+    </td>
+  </tr>
 </table>
 <br />
 <table border="0">