added first-order TPTP version of Nitpick to Isabelle, so that its sources stay in sync with Isabelle and it is easier to install new versions for SystemOnTPTP and CASC -- the tool is called "isabelle nitrox" but is deliberately omitted from the tool list unless the component is explicitly enabled, to avoid clutter
#
# Author: Markus Wenzel, TU Muenchen
#
# feeder.pl - feed isabelle session
#
# args
($head, $emitpid, $quit, $tail) = @ARGV;
# setup signal handlers
sub hangup { exit(0); }
$SIG{'HUP'} = "hangup";
$SIG{'INT'} = "IGNORE";
# main
#buffer lines
$| = 1;
$emitpid && (print $$, "\n");
if ($head) {
utf8::upgrade($head);
$head =~ s/([\x80-\xff])/\\${\(ord($1))}/g;
print $head, "\n";
}
if (!$quit) {
while (<STDIN>) {
print;
}
}
$tail && (print "$tail", "\n");
# wait forever
close STDOUT;
sleep;