Tue, 29 Sep 2009 16:24:36 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
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"; | file | diff | annotate |
Tue, 15 Sep 2009 15:29:11 +0200 | boehmes | added hard timeout for sledgehammer based on elapsed time (no need to trust ATP's timeout handling); | file | diff | annotate |
Thu, 03 Sep 2009 17:55:31 +0200 | boehmes | added runtime information to sledgehammer | file | diff | annotate |
Mon, 31 Aug 2009 15:29:26 +0200 | boehmes | sledgehammer's temporary files are removed properly (even in case of an exception occurs) | file | diff | annotate |
Sat, 29 Aug 2009 21:57:06 +0200 | boehmes | propagate theorem names, in addition to generated return message | file | diff | annotate |
Tue, 04 Aug 2009 19:20:24 +0200 | wenzelm | src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place; | file | diff | annotate | base |