| 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 |