Admin/E/eproof
2009-09-24 boehmes added quotes for filenames;
2009-09-17 boehmes added time limit for extraction phase (not supported on Cygwin)
2009-09-17 boehmes undo changes from revision 719426c9e1eb: removed Perl script for ATP invocation, measuring time using Bash-builtin "time";
less more (0) tip