Admin/E/eproof
Thu, 24 Sep 2009 15:00:17 +0200 boehmes added quotes for filenames;
Thu, 17 Sep 2009 14:07:44 +0200 boehmes added time limit for extraction phase (not supported on Cygwin)
Thu, 17 Sep 2009 11:57:36 +0200 boehmes undo changes from revision 719426c9e1eb: removed Perl script for ATP invocation, measuring time using Bash-builtin "time";
less more (0) tip