X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcontrol.html;h=183347a9792c4f4b390a52bb0d6e1f55ed6196ea;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=98bfebaf4a3bcaa6930f961d423d90fee0650953;hpb=de7919bc2f1c068734c6760af0cb44c6d7022804;p=helm.git

diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
index 98bfebaf4..183347a97 100644
--- a/helm/on-line/html/control.html
+++ b/helm/on-line/html/control.html
@@ -26,9 +26,9 @@ td.back { background-color: #e6e6fa; color: brown }
 
 <div id="indent">
 The on-line interface will use a
-<a href="file:///projects/helm/public_html/getter" target="_top">Getter</a> to locate and
+<a href="http://www.cs.unibo.it/helm/getter" target="_top">Getter</a> to locate and
 download documents and an
-<a href="file:///projects/helm/public_html/uwobo" target="_top">UWOBO</a> to apply transformations
+<a href="http://www.cs.unibo.it/helm/uwobo" target="_top">UWOBO</a> to apply transformations
 to them.
 
 
@@ -40,9 +40,9 @@ to instances of them.
 <br /><br />
 
 To control the behaviour of them, use the apposite
-<a onClick="refreshLinks();" href="file:///projects/helm/public_html/getter/panel/index.html" target="_top">Getter panel</a>
+<a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/getter/panel/index.html" target="_top">Getter panel</a>
 and
-<a onClick="refreshLinks();" href="file:///projects/helm/public_html/uwobo/panel/index.html" target="_top">UWOBO panel</a>.
+<a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/uwobo/panel/index.html" target="_top">UWOBO panel</a>.
 
 <br /><br />
 
@@ -63,6 +63,7 @@ and
         <select onChange="selectUwoboURL(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>
 	  <option value="phd.cs.unibo.it">phd</option>
 	  <option value="eolo.cs.unibo.it">eolo</option>
@@ -96,6 +97,7 @@ and
         <select onChange="selectGetterURL(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>
 	  <option value="phd.cs.unibo.it">phd</option>
 	  <option value="eolo.cs.unibo.it">eolo</option>
@@ -112,6 +114,40 @@ and
 
 <br />
 
+<table border="0">
+  <tr>
+    <th colspan="2" align="left">URI-Set URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="uri_set_queueURL">
+        <script>
+	  document.write('<input type="text" value="' + getInitialURISetQueueURL() + '" size="50"/>');
+	</script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectURISetQueueURL(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>
+	  <option value="phd.cs.unibo.it">phd</option>
+	  <option value="eolo.cs.unibo.it">eolo</option>
+	</select>
+      </form>
+    </td>
+    <td>
+      <form>
+        <input type="button" value="Check" onClick="top.result.location = getURISetQueueURL() + 'help'"/>
+      </form>
+    </td>
+  </tr>
+</table>
+
+<br />
+
 <table border="0">
   <tr>
     <th colspan="2" align="left">Graph Drawer URL</th>
@@ -129,6 +165,7 @@ and
         <select onChange="selectDrawGraphURL(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>
 	  <option value="phd.cs.unibo.it">phd</option>
 	  <option value="eolo.cs.unibo.it">eolo</option>
@@ -147,21 +184,22 @@ and
 
 <table border="0">
   <tr>
-    <th colspan="2" align="left">URI-Set URL</th>
+    <th colspan="2" align="left">Proof-Checker URL</th>
   </tr>
   <tr>
     <td>
-      <form name="uri_set_queueURL">
+      <form name="proofcheckerURL">
         <script>
-	  document.write('<input type="text" value="' + getInitialURISetQueueURL() + '" size="50"/>');
+	  document.write('<input type="text" value="' + getInitialProofCheckerURL() + '" size="50"/>');
 	</script>
       </form>
     </td>
     <td>
       <form>
-        <select onChange="selectURISetQueueURL(this)">
+        <select onChange="selectProofCheckerURL(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>
 	  <option value="phd.cs.unibo.it">phd</option>
 	  <option value="eolo.cs.unibo.it">eolo</option>
@@ -170,7 +208,7 @@ and
     </td>
     <td>
       <form>
-        <input type="button" value="Check" onClick="top.result.location = getURISetQueueURL() + 'help'"/>
+        <input type="button" value="Check" onClick="top.result.location = getProofCheckerURL() + 'help'"/>
       </form>
     </td>
   </tr>