From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 8 Oct 2002 09:42:42 +0000 (+0000)
Subject: Web-services ordered by port number.
X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~49
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e79c0b56a4b1f5e50129950ba652952565a528cb;p=helm.git

Web-services ordered by port number.
---

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>