Sindbad~EG File Manager

#!/usr/bin/php
<?php 
require_once("TarskiTheorems.php");
require_once("GenerateInputFiles.php");

$destination = "./NewProofs";
$source = "./Inputs";
$chapter = "10";   // an existing chapter or "all"


echo "About to write proof files to\n";
echo "$destination\n";
if(! file_exists( $destination))
    { echo "$destination allegedly does not exist.\n";
	  die;
	}

if(is_string($chapter) && $chapter != "all")
   { $theorems = TheoremsByChapter($chapter);
	 if(!is_array($theorems))
	    echo "error, $chapter does not specify a chapter.\n";
   }
else if ($chapter == "all")
   $theorems = $TarskiTheorems;    
foreach($theorems as $t)
	{ $theorem_name = $t->name;
	  echo "$theorem_name: ";
	  $r = WriteProofFile($t->name, $source, $destination);
	  if($r) 
	     echo "OK\n";
	  // otherwise WriteProofFile will echo an error message
	 }
 



?>