Sindbad~EG File Manager

<div id="pageName0">
  <div align="justify">
    <h2>Tarski Formalization Project:  Tools written in PHP</h2>
    <p> 
 
On this page we  provide links to
<ul>
<li> Explanations of the tools we wrote; and</li>
<li> Links to the tools themselves.</li>
</ul>
The tools consist of PHP files.  In order that the PHP files be readable right now in your browser,
we have renamed them by adding the file extension <code>.txt</code>.  For example, <code>MasterList.php</code>
has been posted as <code>MasterList.php.txt</code>.   That way, the server will not try to execute the code 
when you click on a link to it, but simply display it for your reading pleasure.   If you want to download 
and use these programs,  just save them locally in files without the added extension.  The first column of the 
following table
contains links to these text files:
 <p></p>
 <table width="750" border="1">
      <col width="150"/>
      <col width="175"/>
       <col width="175"/>
      <tr>
        <th>Program</th>
        <th>Purpose</th>
        <th>Explanation Page</th>
      </tr>
      <tr>
         <td> <a href="Tools/TarskiTheorems.php.txt">TarskiTheorems</a></td>
         <td>  The master list</td>
         <td><a href="index.php?include=AboutMasterList">About the Master List</a></td>
      </tr>
      <tr>
         <td><a href="Tools/TestMasterList.php.txt">TestMasterList</a></td>
         <td>Apply several syntactic tests to check the correctness of the master list.</td>
          <td><a href="index.php?include=AboutTestMasterList">Test the Master List</a></td>
      </tr>
       <tr>
         <td><a href="Tools/GenerateInputFiles.php.txt">GenerateInputFiles</a></td>
         <td>Use the master list to generate input files.</td>
          <td><a href="index.php?include=AboutGenerateInputFiles">About GenerateInputFiles</a></td>
      </tr>
       <tr>
         <td><a href="Tools/TestChapter.php.txt">TestChapter</a></td>
         <td>Run Otter on all the theorems from one chapter with settings taken from previous results.</td>
          <td><a href="index.php?include=AboutTestChapter">About TestChapter</a></td>
      </tr>
      <tr>
         <td><a href="Tools/FinalResults.php.txt">FinalResults</a></td>
         <td>Keep a machine-readable (but handwritten) record of experimental results, for use by TestChapter.</td>
          <td><a href="index.php?include=AboutTestChapter">About FinalResults</a></td>
      </tr>
       <tr>
         <td><a href="Tools/TestSubformulaStrategy.php.txt">TestSubformulaStrategy</a></td>
         <td>Prepare input files and run tests of the subformula strategy. </td>
          <td><a href="index.php?include=AboutTestSubformulaStrategy">About TestSubformulaStrategy</a></td>
      </tr>
       <tr>
         <td><a href="Tools/ExtractProofs.php.txt">ExtractProofs</a></td>
         <td>Extract proofs from Otter output files. </td>
          <td><a href="index.php?include=AboutExtractProofs">About ExtractProofs</a></td>
      </tr>

</table>
     </div>
</div>