| Tue, 27 Oct 2009 13:24:40 +0100 | wenzelm | ProofContext.setmp_verbose_CRITICAL; | changeset | files |
| Tue, 27 Oct 2009 13:16:16 +0100 | wenzelm | non-critical atomic accesses; | changeset | files |
| Tue, 27 Oct 2009 13:15:20 +0100 | wenzelm | critical comments; | changeset | files |
| Tue, 27 Oct 2009 13:15:04 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 27 Oct 2009 11:25:56 +0100 | wenzelm | SimpleThread.fork: uniform handling of outermost Interrupt, which is not an error and should not produce exception trace; | changeset | files |
| Tue, 27 Oct 2009 10:54:25 +0100 | wenzelm | max_threads_value: eliminated tested_platform -- Poly/ML 5.3 fully supports linux, darwin, solaris, cygwin; | changeset | files |
| Mon, 26 Oct 2009 23:27:24 +0100 | krauss | lemma converse_inv_image | changeset | files |