Mon, 13 Sep 2010 14:28:25 +0200 |
blanchet |
change signature of "Try.invoke_try" to make it more flexible
|
file |
diff |
annotate
|
Mon, 13 Sep 2010 09:36:34 +0200 |
blanchet |
no timeout for Auto Try, since the Auto Tools framework takes care of timeouts
|
file |
diff |
annotate
|
Sat, 11 Sep 2010 16:41:15 +0200 |
blanchet |
add Proof General option
|
file |
diff |
annotate
|
Sat, 11 Sep 2010 16:39:54 +0200 |
blanchet |
make Try's output more concise
|
file |
diff |
annotate
|
Sat, 11 Sep 2010 16:36:23 +0200 |
blanchet |
added Auto Try to the mix of automatic tools
|
file |
diff |
annotate
|
Wed, 08 Sep 2010 15:57:50 +0200 |
blanchet |
remove "safe" (as suggested by Tobias) and added "arith" to "try"
|
file |
diff |
annotate
|
Tue, 31 Aug 2010 21:17:19 +0200 |
blanchet |
distinguish between "by" and "apply"
|
file |
diff |
annotate
|
Tue, 31 Aug 2010 21:01:47 +0200 |
blanchet |
fiddling with "try"
|
file |
diff |
annotate
|
Tue, 31 Aug 2010 20:24:28 +0200 |
blanchet |
"try" -- a new diagnosis tool that tries to apply several methods in parallel
|
file |
diff |
annotate
|