proofcheckerURL configuration parameter added

[helm.git] / helm / on-line / html / control.html

diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
index 08840663cd5f361996b61e7b6aa568ce1ab3fc53..1e07c108fa52fa66b6c7eab1a2773285ba280ff9 100644 (file)
--- a/helm/on-line/html/control.html
+++ b/helm/on-line/html/control.html
@@ -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">Proof-Checker URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="proofcheckerURL">
+        <script>
+         document.write('<input type="text" value="' + getInitialProofCheckerURL() + '" size="50"/>');
+       </script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <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>
+       </select>
+      </form>
+    </td>
+    <td>
+      <form>
+        <input type="button" value="Check" onClick="top.result.location = getProofCheckerURL() + '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>
@@ -162,6 +199,7 @@ and
         <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>