isabelle process -T THEORY;

less physical "logic" argument, with option -l like "isabelle console" etc.;

prefer plain "isabelle" from PATH within Isabelle settings environment;

isabelle_process is superseded by "isabelle process" tool;
tuned tool usage;
misc updates and tuning of "system" manual;

--HG--
rename : bin/isabelle_process => lib/Tools/process

isabelle.Build uses ML_Process directly;
isabelle_process is for batch mode only;
removed unused feeder (already part of "isabelle console");

isabelle_process executable no longer supports writable heap images;

updated syntax to use 'ML_file' rather than 'uses';

corrected syntax filter;

improved tptp_graph robustness by relying on thy;
reused cleanup code;
improved messages;

aligned tptp_graph dependencies to Isabelle conventions;

added graph-conversion utility for TPTP files