X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcontrol.html;h=183347a9792c4f4b390a52bb0d6e1f55ed6196ea;hb=d2c60bae1c4badba0a0f29e3fd2faed6d3a1869e;hp=1e07c108fa52fa66b6c7eab1a2773285ba280ff9;hpb=12e10515abf4f7f2a863d7844972d67a9bbec92b;p=helm.git

diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
index 1e07c108f..183347a97 100644
--- a/helm/on-line/html/control.html
+++ b/helm/on-line/html/control.html
@@ -116,19 +116,19 @@ and
 
 <table border="0">
   <tr>
-    <th colspan="2" align="left">Proof-Checker URL</th>
+    <th colspan="2" align="left">URI-Set URL</th>
   </tr>
   <tr>
     <td>
-      <form name="proofcheckerURL">
+      <form name="uri_set_queueURL">
         <script>
-	  document.write('<input type="text" value="' + getInitialProofCheckerURL() + '" size="50"/>');
+	  document.write('<input type="text" value="' + getInitialURISetQueueURL() + '" size="50"/>');
 	</script>
       </form>
     </td>
     <td>
       <form>
-        <select onChange="selectProofCheckerURL(this)">
+        <select onChange="selectURISetQueueURL(this)">
 	  <option value="">---</option>
 	  <option value="localhost">localhost</option>
 	  <option value="mowgli.cs.unibo.it">mowgli</option>
@@ -140,7 +140,7 @@ and
     </td>
     <td>
       <form>
-        <input type="button" value="Check" onClick="top.result.location = getProofCheckerURL() + 'help'"/>
+        <input type="button" value="Check" onClick="top.result.location = getURISetQueueURL() + 'help'"/>
       </form>
     </td>
   </tr>
@@ -184,19 +184,19 @@ 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>
@@ -208,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>