removed paranoia setting of signal handler -- appears to be no longer necessary (thanks to Cygwin 1.7?);
removed paranoia setting of signal handler -- appears to be no longer necessary (thanks to Cygwin 1.7?);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle